3562 search results - page 3 / 713 » Introduction to Logic Programming |
ACL
2001
13 years 8 months ago
2001
This paper considers three assumptions conventionally made about signatures in typed feature logic that are in potential disagreement with current practice among grammar developer...
Book
"This book serves as an introduction to the C++ language. It teaches how to
program in C++ and how to properly use its features. It does not attempt to teach
object-oriented...
EUSFLAT
2009
13 years 5 months ago
2009
CSL
2007
Springer
14 years 1 months ago
2007
Springer
Programs and Abstract Complexity A. Beckmann University of Wales Swansea Swansea, UK Axiom systems are ubiquitous in mathematical logic, one famous and well studied example being ï...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The paper describes some innovations related to the ongoing work on the GSA prototype, an integrated information retrieval agent. In order to improve the original system effective...