//]]>
AI*IA 2013: Advances in Artificial Intelligence by Baldoni, Matteo. Publication: . XVIII, 540 p. 128 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Fuzzy Logic and Applications by Masulli, Francesco. Publication: . XII, 249 p. 67 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hardware and Software: Verification and Testing by Bertacco, Valeria. Publication: . XX, 366 p. 147 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Software Language Engineering by Erwig, Martin. Publication: . XII, 385 p. 156 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Argument of Mathematics by Aberdein, Andrew. Publication: . X, 393 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method by Cellucci, Carlo. Publication: . XV, 389 p. 35 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements by Geldsetzer, Lutz. Publication: . XLIV, 137 p. 10 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Paraconsistency: Logic and Applications by Tanaka, Koji. Publication: . VIII, 375 p. 31 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Interpreted Languages and Compositionality by Kracht, Marcus. Publication: . X, 214 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Truth and Falsehood by Shramko, Yaroslav. Publication: . XIV, 250 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Proof, Computation and Agency by van Benthem, Johan. Publication: . XXIV, 372 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Grammars for Language and Genes by Chiang, David. Publication: . XII, 120 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logics in Computer Science by Mogavero, Fabio. Publication: . XVII, 149 p. 13 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Instruction Sequences for Computer Science by Bergstra, Jan A. Publication: . XVI, 229 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Methods of Cut-Elimination by Leitsch, Alexander. Publication: . VI, 290 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Dual Tableaux: Foundations, Methodology, Case Studies by Orlowska, Ewa. Publication: . XVI, 523 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Hybrid Logic and its Proof-Theory by Braüner, Torben. Publication: . XIII, 231 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Natural Deduction, Hybrid Systems and Modal Logics by Indrzejczak, Andrzej. Publication: . XXIII, 514p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Teoria degli Automi Finiti by Luca, Aldo. Publication: . XI, 323 pagg. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic: A Brief Course by Mundici, Daniele. Publication: . XI, 130 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart

Refine your search