Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings

IJCAR 2001
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2083)
Bok · Engelsk · c2001
Vis mer

FM 2006 : formal methods : 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006 : proceedings

International Symposium on Formal Methods
Inngår i serie: Lecture notes in computer science (4085)
Bok · Engelsk · c2006
Vis mer

Isabelle/HOL : a proof assistant for higher-order logic

Nipkow, Tobias
Inngår i serie: Lecture notes in computer science (2283)
Bok · Engelsk · c2002
Vis mer