close
1.

図書

図書
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin : Springer, c2002  xi, 501 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2422
所蔵情報: loading…
2.

図書

図書
Claude Kirchner, Hélène Kirchner (eds.)
出版情報: Berlin : Springer, c1998  xiv, 441 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1421 . Lecture notes in artificial intelligence
所蔵情報: loading…
3.

図書

図書
Hélène Kirchner, Christophe Ringeissen (eds.)
出版情報: Berlin ; Heidelberg : Springer-Verlag, c2000  x, 289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1794 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
Integrating Constraint Solving into Proof Planning / Erica Melis ; Jürgen Zimmer ; Tobias Muller
Termination of Constraint Contextual Rewriting / Alessandro Armando ; Silvio Ranise
Axioms vs. Rewrite Rules: From Completeness to Cut Elimination / Gilles Dowek
Normal Forms and Proofs in Combined Modal and Temporal Logics / U. Hustadt ; C. Dixon ; R. A. Schmidt ; M. FisherSession 2:
Structured Sequent Calculi for Combining Intuitionistic and Classical First-Order Logic / Paqui Lucio
Handling Differential Equations with Constraints for Decision Support / Jorge Cruz ; Pedro BarahonaSession 3:
Non-trivial Symbolic Computations in Proof Planning / Volker Sorge
Integrating Computer Algebra and Reasoning through the Type System of Aldor / Erik Poll ; Simon Thompson
Combinations of Model Checking and Theorem Proving / Tomás E. Uribe
Compiling Multi-paradigm Declarative Programs into Prolog / Sergio Antoy ; Michael HanusSession 4:
Modular Redundancy for Theorem Proving / Miquel Bofill ; Guillem Godoy ; Robert Nieuwenhuis ; Albert Rubio
Composing and Controlling Search in Reasoning Theories Using Mappings / Alessandro Coglio ; Fausto Giunchiglia ; José Meseguer ; Carolyn L. Talcott
Why Combined Decision Problems Are Often Intractable / Klaus U. SchulzInvited Paper:
Session 5
Congruence Closure Modulo Associativity and Commutativity / L. Bachmair ; I. V. Ramakrishnan ; A. Tiwari ; L. Vigneron
Combining Equational Theories Sharing Non-Collapse-Free Constructors / Franz Baader ; Cesare Tinelli
Comparing Expressiveness of Set Constructor Symbols / Agostino Dovier ; Carla Piazza ; Alberto Policriti
Author Index
Invited Paper
Combining Logic and Optimization in Cutting Plane Theory / Alexander Bockmayr ; Friedrich Eisenbrand
Towards Cooperative Interval Narrowing / Laurent GranvilliersSession 1:
4.

図書

図書
Hélène Kirchner, (ed.)
出版情報: Berlin : Springer, c1996  viii, 329 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1059
所蔵情報: loading…
5.

図書

図書
H. Kirchner, W. Wechler (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1990  vii, 386 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 463
所蔵情報: loading…
6.

図書

図書
H. Kirchner, G. Levi (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1992  ix, 457 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 632
所蔵情報: loading…
7.

電子ブック

EB
Hélène Kirchner, Wolfgang Wechler, Centre national de la recherche scientifique (France)
出版情報: SpringerLink Books Lecture Notes In Computer Science Archive , Springer Berlin Heidelberg, 1990
所蔵情報: loading…
8.

電子ブック

EB
Hélène Kirchner, Giorgio Levi
出版情報: SpringerLink Books Lecture Notes In Computer Science Archive , Springer Berlin Heidelberg, 1992
所蔵情報: loading…
9.

電子ブック

EB
Hubert Comon-Lundh, Takeo Kanade, Claude Kirchner, Hélène Kirchner
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2007
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼