
Logic Programming and Automated Reasoning
Harald Ganzinger, David McAllester, Andrei Voronkov
₹5,581

Symposium of Theoretical Aspects of Computer Science Paris
by M. Fontet, K. Mehlhorn
Springer · 1984 · Paperback
Free delivery. Nothing extra to pay at checkout.
Stacs 84: Symposium of Theoretical Aspects of Computer Science Paris is written by M. Fontet & K. Mehlhorn. This paperback edition from Springer (1984) has 348 pages.
The book deals with Computer science, Congresses, Informatique and Congrès.