The Logical Basic for Computer Programming. Volume 2:Deductive Systeme /

Saved in:
Bibliographic Details
Main Authors: Manna, Zohar (Author), Waldinger, Richard (Author)
Format: Book
Language:English
Published: Reading : Addison-Wesley, 1990
Tags: Add Tag
No Tags, Be the first to tag this record!