Studies in automatic programming logic

Main Author: Manna, Zohar
Other Authors: Waldinger, Richard, Katz, Shmuel, Levitt, Karl
Format: Book
Language:English
Published: New York: North-Holland, c1977
Series:Artificial intelligence series
The Computer science library
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο001.642 MAN1ΠροβολήOPAC