登入選單
Google圖書搜尋
Mechanizing Mathematical Reasoning
作者
Dieter Hutter / Werner Stephan
出版Springer, 2011-03-29
ISBN
9783540322542 / 354032254X
主題
Computers
Algebraic Foundations of Systems Specification
作者
Hans-Jörg Kreowski
出版Springer, 1999-08-19
ISBN
UOM:39015047502797
主題
Computers
Opening the AC-Unification Race
作者
Hans-Jürgen Bürckert / Alexander Herold / Deepak Kapur / Jörg H. Siekmann / Mark E. Stickel / Michael Tepp / Hantao Zhang
出版2023
ISBN
OCLC:1381328842
Unification Algebras
作者
Manfred Schmidt-Schauß / Jörg H. Siekmann
出版2023
ISBN
OCLC:1396208293
Unification in Abelian Semigroups
作者
Alexander Herold / Jörg H. Siekmann
出版2023
ISBN
OCLC:1378120914
Cognitive Systems
作者
Ruqian Lu / Jörg Siekmann / Carsten Ullrich
出版Springer Science & Business Media, 2007-02-20
ISBN
9783540709336 / 3540709339
主題
Computers
Repair in Proof Engineering (RIPE)
作者
Dieter Hutter / Jörg H. Siekmann / Werner Stephan
出版2001
ISBN
OCLC:248078427
Using Automated Reasoning Techniques for Deductive...
作者
Hans Jürgen Ohlbach / Jörg Siekmann
出版2023
ISBN
OCLC:1396215058
8th International Conference on Automated Deductio...
作者
Jörg H. Siekmann
出版Springer, 1986-07-01
ISBN
3540167803 / 9783540167808
主題
Mathematics
The Markgraf Karl refutation procedure
作者
Hans Jürgen Ohlbach / Jörg H. Siekmann
出版1989
ISBN
OCLC:256085952
String Unification is Essentially Infinitary
作者
Michael Hoche / Jörg Siekmann / Péter Szabó
出版2011
ISBN
OCLC:881630886
Unification and matching problems
作者
Jörg H. Siekmann
出版1978
ISBN
OCLC:42268946
String-unification
作者
Jörg H. Siekmann
出版1975
ISBN
OCLC:216902895
主題
Automatic theorem proving
8th International Conference on Automated Deductio...
作者
Jörg H. Siekmann
出版2014-01-15
ISBN
3662198231 / 9783662198230
Reasoning with Assertions and Examples
作者
Manfred Kerber / Erica Melis / Jörg H. Siekmann
出版1993
ISBN
OCLC:165205605
Using Automated Reasoning Techniques for Deductive...
作者
Hans Jürgen Ohlbach / Jörg H. Siekmann / Universität Kaiserslautern. Fachbereich Informatik
出版1988
ISBN
OCLC:606147101
Unification Theory
作者
Jörg H. Siekmann
出版1988
ISBN
OCLC:256570315
Analogical Reasoning with Typical Examples
作者
Manfred Kerber / Erica Melis / Jörg H. Siekmann
出版1992
ISBN
OCLC:165495340
Universal Unification and a Classification of Equa...
作者
Jörg H. Siekmann / P. Szabó / Universität Kaiserslautern. Fachbereich Informatik / Universität Karlsruhe. Fakultät für Informatik
出版1981
ISBN
OCLC:606111904
Termination and Decidability Results for String Un...
作者
Mike Livesey / Jörg H. Siekmann
出版1975
ISBN
OCLC:216887252
主題
Automatic theorem proving
A Noetherian rewrite system for idempotent semigro...
作者
Jörg H. Siekmann / Péter Szabó
出版1980
ISBN
OCLC:46043837