Nerode, Anil. Shore, Richard A.
Logic for Applications - New York Springer Verlag 1993 - 365p - Texts and Monographs in Computer Science .
0 387 94129 0
Logic Programming
Logic, Symbolic and Mathematical
681.3.06 NER
Logic for Applications - New York Springer Verlag 1993 - 365p - Texts and Monographs in Computer Science .
0 387 94129 0
Logic Programming
Logic, Symbolic and Mathematical
681.3.06 NER