Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Printable view
Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1476/1998
DOI10.1007/BFb0055897
Copyright1998
ISBN978-3-540-64960-1
Subject CollectionComputer Science
SpringerLink DateTuesday, May 20, 2003
Add to marked items
Editorial View Condensed List View Expanded List View 
Save this listEmail this listDownload this list
48 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-48 | Next
Front Matter

Front MatterPDF (237.8 KB)

  
Chapter
An Inductive Logic Programming Query Language for Database Mining
(Extended Abstract)
Luc De Raedt
Full TextPDF (245.8 KB)
 1
Chapter
An inductive logic programming query language for database mining
Extended abstract
Luc De Raedt
DOI: 10.1007/BFb0055898
Full TextPDF (916.6 KB)
 1-13
Chapter
Bertrand Russell, Herbrand’s theorem, and the assignment statement
Melvin Fitting
DOI: 10.1007/BFb0055899
Full TextPDF (848.6 KB)
 14-28
Chapter
Representing and reasoning with context
Richmond H. Thomason
DOI: 10.1007/BFb0055900
Full TextPDF (779.2 KB)
 29-41
Chapter
From integrated reasoning specialists to “plug-and-play≓ reasoning components
Alessandro Armando and Silvio Ranise
DOI: 10.1007/BFb0055901
Full TextPDF (732.2 KB)
 42-54
Chapter
Reasoning about coding theory: The benefits we get from computer algebra
Clemens Ballarin and Lawrence C. Paulson
DOI: 10.1007/BFb0055902
Full TextPDF (738.8 KB)
 55-66
Chapter
Automatic generation of epsilon-delta proofs of continuity
Michael Beeson
DOI: 10.1007/BFb0055903
Full TextPDF (1.0 MB)
 67-83
Chapter
Finite model search for equational theories (FMSET)
Belaid Benhamou and Laurent Henocque
DOI: 10.1007/BFb0055904
Full TextPDF (489.2 KB)
 84-93
Chapter
Specification and integration of theorem provers and computer algebra systems
P. G. Bertoli, J. Calmet, F. Giunchiglia and K. Homann
DOI: 10.1007/BFb0055905
Full TextPDF (829.0 KB)
 94-106
Chapter
COLETTE, prototyping CSP solvers using a rule-based language
Carlos Castro
DOI: 10.1007/BFb0055906
Full TextPDF (774.8 KB)
 107-119
48 ChaptersFirst | 1-10 | 11-20 | 21-30 | 31-40 | 41-48 | Next
more options
Find


Starts With
48 Results
ABCDEFGHIJKLMNOPQRSTUVWXYZspace
0123456789ÜÖËÄßÀÁÂÃÇÈÉÊÌÍÎÑÒÓÔÕÙÚÛmore
Author
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)