Institutional Login
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
Content Types
All
Publications
Journals
Book Series
Books
Reference Works
Protocols
Subject Collections
Architecture and Design
Behavioral Science
Biomedical and Life Sciences
Business and Economics
Chemistry and Materials Science
Computer Science
Earth and Environmental Science
Engineering
Humanities, Social Sciences and Law
Mathematics and Statistics
Medicine
Physics and Astronomy
Professional and Applied Computing
中文(简体)
中文(繁體)
English
Deutsch
한국어
日本語
Français
Español
العربية
Русский
Book
Artificial Intelligence and Symbolic Computation
International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
Book Series
Lecture Notes in Computer Science
Publisher
Springer Berlin / Heidelberg
ISSN
0302-9743 (Print) 1611-3349 (Online)
Volume
Volume 1476/1998
DOI
10.1007/BFb0055897
Copyright
1998
ISBN
978-3-540-64960-1
Subject Collection
Computer Science
SpringerLink Date
Tuesday, May 20, 2003
Add to marked items
Add to saved items
Recommend this book
About This Volume
Editorial View
Condensed List View
Expanded List View
48 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-40
|
41-48
|
Next
Front Matter
PDF (237.8 KB)
Chapter
An Inductive Logic Programming Query Language for Database Mining
(Extended Abstract)
Luc De Raedt
PDF (245.8 KB)
1
Chapter
An inductive logic programming query language for database mining
Extended abstract
Luc De Raedt
DOI: 10.1007/BFb0055898
PDF (916.6 KB)
1-13
Chapter
Bertrand Russell, Herbrand’s theorem, and the assignment statement
Melvin Fitting
DOI: 10.1007/BFb0055899
PDF (848.6 KB)
14-28
Chapter
Representing and reasoning with context
Richmond H. Thomason
DOI: 10.1007/BFb0055900
PDF (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
PDF (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
PDF (738.8 KB)
55-66
Chapter
Automatic generation of epsilon-delta proofs of continuity
Michael Beeson
DOI: 10.1007/BFb0055903
PDF (1.0 MB)
67-83
Chapter
Finite model search for equational theories (FMSET)
Belaid Benhamou
and
Laurent Henocque
DOI: 10.1007/BFb0055904
PDF (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
PDF (829.0 KB)
94-106
Chapter
COLETTE, prototyping CSP solvers using a rule-based language
Carlos Castro
DOI: 10.1007/BFb0055906
PDF (774.8 KB)
107-119
48 Chapters
First
|
1-10
|
11-20
|
21-30
|
31-40
|
41-48
|
Next
more options
Find
Query Builder
Close
|
Clear
Title (ti)
Summary (su)
Author (au)
ISSN (issn)
ISBN (isbn)
DOI (doi)
And
Or
Not
(
)
* (wildcard)
"" (exact)
Within all content
Within this book series
Within this book
Starts With
48 Results
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
space
0
1
2
3
4
5
6
7
8
9
Ü
Ö
Ë
Ä
ß
À
Á
Â
Ã
Ç
È
É
Ê
Ì
Í
Î
Ñ
Ò
Ó
Ô
Õ
Ù
Ú
Û
more
Author
Christopher Lynch
Alessandro Armando
Laurent Henocque
Dirk Fuchs
Christelle Scharff
K. Homann
J. Rafael Sendra
Franz Winkler
Uwe Egly
Belaid Benhamou
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
MetaPress Privacy Policy
Remote Address: 38.107.191.106 • Server: mpweb03
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)