Logic for computer science : foundations of automatic theorem proving

Tekstualna građa, tiskana
Naslov
Logic for computer science : foundations of automatic theorem proving / Jean H. Gallier. -
Izdanje
2nd ed. -
Impressum
New York : Dover Publications, 2015. -
Materijalni opis
XXIII, 496 str. ; 24 cm
ISBN
9780486780825
Jezik
Engleski
Bibliografija: str. 473-477.
Inv.br.
Info
Signatura
A19192
Trajna posudba
510.6 GAL L
Fakultet organizacije i informatike, Varaždin - Pavlinska 2, Varaždin - Tel: 042 390 878, 042 390 877