|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by McMillan, Ken.
Publication:
. XIV, 794 p. 178 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Programming Logics
by Voronkov, Andrei.
Publication:
. X, 447 p. 69 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Perspectives of Systems Informatics
by Clarke, Edmund.
Publication:
. XIV, 411 p. 130 illus.
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),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Clarke, Edmund M.
Publication:
. X, 517p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Logic for Programming, Artificial Intelligence, and Reasoning
by Fermüller, Christian G.
Publication:
. XII, 656p. 83 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Perspectives of Systems Informatics
by Pnueli, Amir.
Publication:
. XIII, 426 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|