-
1
-
2
-
3
-
4
-
55th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [electronic resource] / 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [electronic resource] /by Bibel, Wolfgang. editor., Kowalski, Robert. editor., SpringerLink (Online service)
Published 1980Texto bibliotecaCOLPOS -
65th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [electronic resource] / 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 [electronic resource] /by Bibel, Wolfgang. editor., Kowalski, Robert. editor., SpringerLink (Online service)
Published 1980Texto bibliotecaCOLPOS -
7Mathematical Methods of Specification and Synthesis of Software Systems '85 [electronic resource] : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26,... Mathematical Methods of Specification and Synthesis of Software Systems '85 [electronic resource] : Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26,...Texto bibliotecaCOLPOS
-
8Automated Deduction — A Basis for Applications [electronic resource] : Volume III Applications / Automated Deduction — A Basis for Applications [electronic resource] : Volume III Applications /by Bibel, Wolfgang. editor., Schmitt, Peter H. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
9Automated Deduction — A Basis for Applications [electronic resource] : Volume III Applications / Automated Deduction — A Basis for Applications [electronic resource] : Volume III Applications /by Bibel, Wolfgang. editor., Schmitt, Peter H. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
10Automated Deduction — A Basis for Applications [electronic resource] : Volume II: Systems and Implementation Techniques / Automated Deduction — A Basis for Applications [electronic resource] : Volume II: Systems and Implementation Techniques /by Bibel, Wolfgang. editor., Schmitt, Peter H. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
11Automated Deduction — A Basis for Applications [electronic resource] : Volume II: Systems and Implementation Techniques / Automated Deduction — A Basis for Applications [electronic resource] : Volume II: Systems and Implementation Techniques /by Bibel, Wolfgang. editor., Schmitt, Peter H. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS