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