close
1.

図書

図書
Jacques Calmet, Jan Plaza (eds.)
出版情報: Berlin ; New York : Springer, c1998  xi, 307 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1476 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
Representing and Reasoning with Context / Richmond H. Thomason
Regular Talks From Integrated Reasoning to lug-and-Play' Reasoning Components / Alessandro Armando ; Silvio Ranise
Reasoning about Coding Theory: The Benefits We Get from Computer Algebra Clemens Ballarin / Lawrence C. Paulson
Automatic Generation of Epsilon-Delta Proofs of Continuity / Michael Beeson
Finite Model Search for Equational Theories (FMSET) / Belaid Benhamou ; Laurent Heocque
Specification and Integration of Theorem Provers and Computer Algebra Systems / P.G.Bertoli ; J.Calmet ; F. Giunchiglia ; K.Homann
Colette, Prototyping CSP Solvers Using a Rule-Based Language Carlos Castro
An Evolutionary Algorithm for Welding Task Sequence Ordering / Martin Damsbo ; Peder Thusgaard Ruhoff
Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis / Uwe Egli ; Stephan Schmitt
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving / Stephane Fevre ; Dongming Wang
Cooperation between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer / Dirk Fuchs
Polymorphic Call-by-Value Calculus based on Classical Proofs (Extended Abstract) / Ken-etsu Fujita
Inference and Verification in Medical Appropriateness Criteria using Grobner Bases / L.M. Laita ; E. Roanes-Lozano ; V. Maojo
The Unification Problem for One Relation Thue Systems / Christopher Lynch
Basic Completion with E-cycle Simplification / Christelle Scharff
SoleX: a Domain-Independent Scheme for Constraint Solver Extension / Eric Monfroy ; Christophe Ringeissen
Optimising Propositional Modal Satisfiability for Description Logic Subsumption / Ian Horrocks ; Peter F. Patel-Schneider
Instantiation of Existentially Quantified Variables in Induction Specification Proofs Brigitte Pientka / Christoph Kreitz
Knowledge Discovery Objects and Queries in Distributed Knowledge Systems / Zbigniew W. Ras ; Jiyun Zheng
Alltypes: An ALgebraic Language and Type System / Fritz Schwarz
Real Parametrization of Algebraic Curves / J. Rafael Sendra ; Franz Winkler
Non-Clausal Reasoning with Propositional Definite Theories / Zbigniew Stachniak
Invited Talks
An Inductive Logic Programming Query Language for Database Mining (Extended Abstract) / Luc De Raedt Bertrand Russell
Herbrands theorem, and the assignment statement / Melvin Fitting
2.

図書

図書
Jacques Calmet, Carla Limongelli (eds.)
出版情報: Berlin : Springer, c1996  ix, 356 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1128
所蔵情報: loading…
3.

図書

図書
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)
出版情報: Berlin ; Tokyo : Springer, c1996  viii, 379 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1138
所蔵情報: loading…
4.

図書

図書
Jacques Calmet, John A. Campbell, (eds.)
出版情報: Berlin ; New York ; tokyo : Springer-Verlag, c1995  x, 275 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 958
所蔵情報: loading…
5.

図書

図書
Jacques Calmet, John A. Campbell (eds.)
出版情報: Berlin ; Heidelberg ; New York : Springer-Verlag, c1993  305 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 737
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼