UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KBR (1)

KU Leuven (1)

UAntwerpen (1)

UCLouvain (1)

UGent (1)

UHasselt (1)

ULB (1)

UMons (1)

UNamur (1)

Resource type

book (7)

Language

English (6)

Undetermined (1)

Year

From To

1992 (7)

Listing 1 - 7 of 7
Sort by

Book

Higher order logic theorem proving and its applications
Authors: Gordon, Michael John Caldwell --- Claesen, Luc J. M.
Year: 1992 Publisher: Amsterdam : Elsevier,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications
Authors: Claesen, Luc J.M. --- Gordon, Michael J.C.
Year: 1992 Publisher: Leuven Interuniversity Micro-Electronics Center. IMEC

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications
Authors: Claesen, Luc J. M. --- Gordon, Michael J. C.
Year: 1992 Publisher: Leuven IMEC

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications : proceedings of the HOL'92 international workshop : Leuven : 21-24 September 1992
Authors: Claesen, Luc J.M. --- Gordon, Michael J.C. --- Interuniversity Micro-Electronic Center
Year: 1992 Publisher: Heverlee Interuniversity Micro-Electronic Center

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Logica --- Informatica --- Colloquia

Book

Higher order logic theorem proving and its applications : proceedings of the -HOL'92 International workshop, Leuven, Belgium, 21-24 September 1992
Authors: Claesen, Luc J. M. --- International workshop on higher order logic theorem proving and its applications (1992 : Leuven, Belgium)
Year: 1992 Publisher: Amsterdam: Elsevier,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Higher order logic theorem proving and its applications
Authors: Claesen, Luc J.M. --- Gordon, Michael J.C. --- International Workshop on Higher Order Logic Theorem Proving and its Applications
Year: 1992 Publisher: Amsterdam Elsevier

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Mathematical logic

Book

Higher Order Logic Theorem Proving and its Applications : proceedings of the ĤOL'92 International Workshop [...], Leuven, Belgium, 21-24 September 1992
Authors: Claesen, Luc J. M. --- Gordon, Michael J. C. --- Interuniversity Micro Electronics Center (Belgium) --- International Federation for Information Processing
Year: 1992 Publisher: Leuven : The Organizing Committee of the IMEC-IFIP workshop 92,

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 --- Logic --- Théorèmes --- Logique --- Congresses --- Data processing --- Démonstration automatique --- Congrès --- Informatique

Listing 1 - 7 of 7
Sort by