登入選單
Google圖書搜尋
Informal Proceedings of the Annual Meeting of "GI-...
作者
Jürgen Avenhaus / Jörg Denzinger
出版1993
ISBN
OCLC:863996334
Learning from Previous Proof Experience: A Survey
出版1999
ISBN
OCLC:863952806
Completion and Equational Theorem Proving Using Ta...
作者
Jörg Denzinger
出版1999
ISBN
OCLC:863996243
Distributing Equational Theorem Proving
作者
Jürgen Avenhaus / Jörg Denzinger
出版1999
ISBN
OCLC:863996141
Knowledge-based Cooperation Between Theorem Prover...
作者
Dirk Fuchs / Jörg Denzinger
出版1999
ISBN
OCLC:863996193
Cooperation in Theorem Proving by Loosely Coupled ...
作者
Dirk Fuchs / Jörg Denzinger / Universität Kaiserslautern. Fachbereich Informatik
出版1997
ISBN
OCLC:258492280
Cooperation in Theorem Proving by Loosely Coupled ...
作者
Dirk Fuchs / Jörg Denzinger
出版1999
ISBN
OCLC:863996294
Efficient AC-Matching Using Constraint Propagation
作者
Bernhard Gramlich / Jörg Denzinger
出版2023
ISBN
OCLC:1381316577
Extending Automatic Theorem Proving by Planning
作者
Inger Sonntag / Jörg Denzinger
出版1993
ISBN
OCLC:863995950
Using Teamwork for the Distribution of Approximate...
作者
Jörg Denzinger / Stephan Scholz / Universität Kaiserslautern. Fachbereich Informatik
出版1997
ISBN
OCLC:258637609
Distributed knowledge-based deduction using the te...
作者
Jörg Denzinger
出版1991
ISBN
OCLC:165454459
Goal Oriented Equational Theorem Proving Using Tea...
作者
Jörg Denzinger / Matthias Fuchs
出版1999
ISBN
OCLC:863996189
Planning for Distributed Theorem Proving: The Team...
作者
Jörg Denzinger / Martin Kronenburg
出版1999
ISBN
OCLC:863996147
Distributed knowledge-based deduction using the te...
作者
Jörg Denzinger
出版1991
ISBN
OCLC:633194052
Efficient AC1-matching Using Constraints
作者
Jürgen Avenhaus / Jörg Denzinger / Thomas Hoffmann
出版1992
ISBN
OCLC:165307264
Design Pattern for Self-organizing Emergent System...
作者
Holger Kasinger / Bernhard Bauer / Jörg Denzinger
出版2009
ISBN
OCLC:1267494713
High Performance ATP Systems by Combining Several ...
作者
Jörg Denzinger / Marc Fuchs / Matthias Fuchs
出版1996
ISBN
OCLC:258096035
Experiments in Learning Prototypical Situations fo...
作者
Jörg Denzinger / Matthias Fuchs
出版1999
ISBN
OCLC:863996070
Teamwork
作者
Jörg Denzinger
出版1993
ISBN
OCLC:257310249
Analysis and representation of equational proofs g...
作者
Jörg Denzinger / Stephan Schulz
出版1994
ISBN
OCLC:165222860
Intelligente Suche im Internet mit Lernenden Syste...
作者
Ralph Bergmann / Jörg Denzinger
出版1997
ISBN
OCLC:863998426
Ansatzpunkte für heuristische Methoden bei der Ver...
作者
Jörg Denzinger
出版1990
ISBN
OCLC:475833180