Visi 1 Raatz izlaidumi pie Bog med blødt omslag og limet ryg
Kategorijas
Cits
Klientu apkalpošana
EUR
![Cover for Raatz · Graph-Based Proof Procedures for Horn Clauses - Progress in Computer Science and Applied Logic (Paperback Book) [Softcover reprint of the original 1st ed. 1990 edition] (1990)](https://imusic.b-cdn.net/images/item/original/305/9780817635305.jpg?raatz-1990-graph-based-proof-procedures-for-horn-clauses-progress-in-computer-science-and-applied-logic-paperback-book&class=scaled&v=1604009264)