UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

ULiège (203)

KU Leuven (181)

ULB (136)

UCLouvain (96)

UGent (88)

Odisee (84)

Thomas More Kempen (83)

Thomas More Mechelen (83)

UCLL (83)

VIVES (83)
More...

Resource type

book (275)

periodical (2)

digital (1)

Language

English (269)

French (6)

Dutch (1)

German (1)

Year

From To

2023 (2)

2022 (5)

2021 (3)

2020 (1)

2019 (3)
More...

Listing 1 - 10 of 277 << page
of 28
>>
Sort by

Automated theorem proving : theory and practice
Author: Newborn, Monty
ISBN: 0387950753 9780387950754 Year: 2001 Publisher: New York: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving. --- Automatic theorem proving

Automated reasoning and its applications : essays in honour of Larry Wos
Authors: Veroff, Robert --- Pieper, Gail W. --- Wos, Larry
ISBN: 0262220555 Year: 1997 Publisher: Cambridge London : M.I.T. Press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving.

Book

Automated reasoning with analytic tableaux and related methods : 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021 : proceedings
Authors: Das, Anupam --- Negri, Sara
ISBN: 3030860590 3030860582 Year: 2021 Publisher: Cham, Switzerland : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving

Book

Automated theorem proving
Author: Bibel, Wolfgang
Year: 1987 Publisher: Braunschweig: Vieweg,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving

Book

Un programme de démonstration de théorèmes
Authors: Pitrat, Jacques --- Association française de cybernétique économique et technique
Year: 1970 Publisher: Paris: Dunod,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving --- Théorèmes

Book

TPHOLs 2001 : supplemental proceedings
Authors: Boulton, Richard J. --- TPHOLs (2001 : Edinburgh, Scotland)
Year: 2001 Publisher: Edinburgh: [éditeur inconnu],

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving

Machine proofs in geometry : automated production of readable proofs for geometry theorems
Authors: Chou, Shang-Ching --- Gao, Xiao-Shan --- Zhang, Jing-Zhong
ISBN: 9810215843 9789810215842 Year: 1994 Publisher: Singapore: World scientific,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Axioms --- Automatic theorem proving.

Theorem proving with the real numbers
Author: Harrison, John
ISBN: 3540762566 Year: 1998 Publisher: London : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving.

The resolution calculus
Author: Leitsch, Alexander
ISBN: 3540618821 Year: 1997 Publisher: Berlin : Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving.

Mechanical geometry theorem proving
Author: Chou, Shang-Ching
ISBN: 9027726507 Year: 1988 Publisher: Dordrecht Reidel

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Automatic theorem proving

Listing 1 - 10 of 277 << page
of 28
>>
Sort by