|
|
Advances in logic, artificial intelligence, and robotics [electronic resource] : LAPTEC 2002 : Congress of Logic Applied to Technology
|
2002
|
1
|
|
|
Advances in logic ; v. 2. : Frias, Marcelo Fabian,
|
2002
|
1
|
|
|
Advances in logic ; v. 4. : Bochman, Alexander,
|
2005
|
1
|
|
|
Advances in logic ; v. 5. : Queiroz, Ruy J. G. B. de.
|
2012
|
1
|
