Explore Books on
démonstration théorème
1-4 of 4 Books
View Rewriting Techniques and Applications By Jean-Pierre Jouannaud 
Rewriting Techniques and Applications
By Jean-Pierre Jouannaud
View From logic design to logic programming By Dominique Snyers 
From logic design to logic programming
By Dominique Snyers
View 6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 By Conference on Automated Deduction (6th 1982 New York, N.Y.) 
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982
By Conference on Automated Deduction (6th 1982 New York, N.Y.)
View Temporal logic in specification By Howard Barringer 
Temporal logic in specification
By Howard Barringer