Cover Image

Gems of theoretical computer science/

Main Author: Scho?ning, Uwe
Other Authors: Pruim, Randall
Format: Book
Language:English
Published: Berlin: Springer, c1998
Subjects:
Automatic theorem proving
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών004.015113 SchU g 19981ΠροβολήOPAC

Similar Items