search result

Cover von Automated deduction
11th international conference on automated deduction : Saratoga Springs, NY, USA, June 15 - 18, 1992 : proceedings
Search for this author
Year: 1992
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 607
Media group: MONOGRAPHIE
Cover von A Modular Associative Commutative (AC) Congruence Closure Algorithm

A Modular Associative Commutative (AC) Congruence Closure Algorithm

Year: 2021
Media group: LIPIcs
Cover von Computer mathematics
8th Asian symposium, Singapore, December 15 - 17, 2007, revised and invited papers
Search for this author
Year: 2008
Publisher: Berlin, Springer
Series: Lecture notes in artificial intelligence; 5081
Media group: MONOGRAPHIE
Cover von First-order theorem proving; 3/4
special issue : S. 219-390
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 3/4
Media group: SPECIAL ISSUE
Cover von Automated reasoning and theorem proving in education; 3
special issue : S. 185 - 286
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 3
Media group: SPECIAL ISSUE
Cover von Automated reasoning and theorem proving in education; 1
special issue : S. 1 - 92
Search for this author
Year: 2004
Publisher: Boston, Kluwer
Count: 1
Media group: SPECIAL ISSUE
Cover von Geometric reasoning
Search for this author
Year: 1989
Publisher: Cambridge, MIT Pr.
Media group: MONOGRAPHIE
Cover von Termination Analysis of C Programs Using Compiler Intermediate Languages

Termination Analysis of C Programs Using Compiler Intermediate Languages

Year: 2011
Media group: ARTICLE
Cover von Symbolic and numerical computation for artificial intelligence
Search for this author
Year: 1992
Publisher: London, Academic Press
Series: Computational mathematics and applications
Media group: MONOGRAPHIE
Cover von Automation of proof by mathematical induction
24.07. - 28.07.95 (9530)
Search for this author
Year: 1995
Publisher: Wadern-Dagstuhl, IBFI
Series: Dagstuhl-Seminar-Report; 122
Media group: DAGSTUHL-SEMINAR-REP
OPEN V 11.1.0.0