Arnold Binas

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2004

2 Arnold Binas, John K. Slaney: Semantically Guiding a First-Order Theorem Prover with a Soft Model. AAAI 2004: 948-949

1 John K. Slaney, Arnold Binas, David Price: Guiding a Theorem Prover with Soft Constraints. ECAI 2004: 221-225

2004
2		Arnold Binas, John K. Slaney: Semantically Guiding a First-Order Theorem Prover with a Soft Model. AAAI 2004: 948-949
1		John K. Slaney, Arnold Binas, David Price: Guiding a Theorem Prover with Soft Constraints. ECAI 2004: 221-225

Coauthor Index

1 David Price [1]

2 John K. Slaney [1] [2]