UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (525)

ULiège (426)

UCLouvain (270)

ULB (246)

UGent (223)

KBR (162)

UAntwerpen (135)

Odisee (118)

Thomas More Mechelen (116)

Thomas More Kempen (115)
More...

Resource type

book (637)

dissertation (9)

periodical (5)

digital (1)

Language

English (609)

German (24)

French (9)

Undetermined (2)

Dutch (1)

Year

From To

2023 (2)

2022 (5)

2021 (6)

2020 (3)

2019 (6)
More...

Listing 1 - 10 of 645 << page
of 65
>>
Sort by

Book

Automation in language translation and therem proving : some application of mathematical logic
Authors: Braffort, Paul --- Van Scheepen, F. --- European Communities.. Commission
Publisher: Brussels: CEE,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Theorem Proving

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 technology for verification and analysis : 20th International Symposium, ATVA 2022, Beijing, China, October 25-28, 2022, proceedings
Authors: Holík, Lukás --- Bouajjani, Ahmed --- Wu, Zhilin
ISBN: 303119991X 3031199928 Year: 2022 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. --- Automated theorem proving --- Theorem proving, Automated --- Theorem proving, Automatic --- Artificial intelligence --- Proof theory

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.

Listing 1 - 10 of 645 << page
of 65
>>
Sort by