|
|
Theory and Applications of Satisfiability Testing – SAT 2012
by Cimatti, Alessandro.
Publication:
. XIV, 500p. 364 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Deontic Logic in Computer Science
by Ågotnes, Thomas.
Publication:
. XII, 215 p. 21 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
The Logic of Categorial Grammars
by Moot, Richard.
Publication:
. X, 300 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Lectures on Logic and Computation
by Bezhanishvili, Nick.
Publication:
. VIII, 265 p. 41 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Computer Aided Verification
by Madhusudan, P.
Publication:
. XVI, 789p. 192 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Intelligent Computer Mathematics
by Jeuring, Johan.
Publication:
. XVIII, 473p. 117 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Automated Reasoning
by Gramlich, Bernhard.
Publication:
. XIV, 568p. 90 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logical Aspects of Computational Linguistics
by Béchet, Denis.
Publication:
. X, 251 p. 32 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Correct Reasoning
by Erdem, Esra.
Publication:
. XI, 594p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Functional and Logic Programming
by Schrijvers, Tom.
Publication:
. X, 333 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Graph Structures for Knowledge Representation and Reasoning
by Croitoru, Madalina.
Publication:
. VII, 209 p. 77 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic Programs, Norms and Action
by Artikis, Alexander.
Publication:
. XX, 425 p. 36 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Declarative Agent Languages and Technologies IX
by Sakama, Chiaki.
Publication:
. XII, 153 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Tools and Algorithms for the Construction and Analysis of Systems
by Flanagan, Cormac.
Publication:
. XIX, 560 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Software Science and Computational Structures
by Birkedal, Lars.
Publication:
. XVII, 484 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Bjørner, Nikolaj.
Publication:
. XI, 446 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Computational Science XV
by Gavrilova, Marina L.
Publication:
. XIII, 217 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Foundations of Information and Knowledge Systems
by Lukasiewicz, Thomas.
Publication:
. XII, 405 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Language and Automata Theory and Applications
by Dediu, Adrian-Horia.
Publication:
. XII, 556p. 64 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Conceptual Modelling and Its Theoretical Foundations
by Düsterhöft, Antje.
Publication:
. VIII, 329 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|