|
|
A 25-Year Perspective on Logic Programming
by Dovier, Agostino.
Publication:
. XIV, 329p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Theory and Applications of Models of Computation
by Kratochvíl, Jan.
Publication:
. XIV, 480p. 91 illus.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Transactions on Rough Sets XI
by Peters, James F.
Publication:
. IX, 189 p.
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),
|
|
|
Computer Science
by Blum, Edward K.
Publication:
. X, 470 p.
Availability:
Copies available:
AUM Main Library
(1),
|
|
|
Proofs and Algorithms
by Dowek, Gilles.
Publication:
. VIII, 195p.
Availability:
Copies available:
AUM Main Library
(1),
|
|