dblp.uni-trier.dewww.uni-trier.de

Andrew Slater

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
3EEAndrew Slater: Modelling More Realistic SAT Problems. Australian Joint Conference on Artificial Intelligence 2002: 591-602
1998
2 Andrew Slater, Rajeev Goré, Joachim Posegga, Harald Vogt: cardTAP: Automated Deduction on a Smart Card. Australian Joint Conference on Artificial Intelligence 1998: 239-247
1EERajeev Goré, Joachim Posegga, Andrew Slater, Harald Vogt: System Description: card TAP: The First Theorem Prover on a Smart Card. CADE 1998: 47-50

Coauthor Index

1Rajeev Goré [1] [2]
2Joachim Posegga [1] [2]
3Harald Vogt [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)