Vista normal Vista MARC Vista ISBD

Nerode, Anil, 1932-

Logic for applications / Anil Nerode, Richard A. Shore - 2nd ed. - 458 páginas ilustraciones - Graduate texts in computer science .

ISBN: 0-387-94893-7 (encuadernado en tela : papel alcalino)

Subjects--Topical Terms:
Programación lógica
Lógica simbólica y matemática

LC Class. No.: QA76.63 / N47 1997