UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

KU Leuven (5)

UCLouvain (2)

UAntwerpen (1)

ULiège (1)

Resource type

book (7)

Language

English (7)

Year

From To

1987 (1)

1978 (1)

1974 (5)

Listing 1 - 7 of 7
Sort by

Book

Prolegomena to a theory of formal reasoning
Author: Weyhrauch, Richard W.
Year: 1978 Publisher: Stanford Stanford university. Computer science department

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

Checking proofs in the metamathematics of first order logic
Authors: Aiello, Mario --- Weyhrauch, Richard W.
Year: 1974 Publisher: Stanford Stanford university. Computer science department

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

LCFsmall : an implementation of LCF
Authors: Aiello, Luigia --- Weyhrauch, Richard W.
Year: 1974 Publisher: Stanford Stanford university. Computer science department

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Introduction to Common Lisp
Authors: Yuasa, Taiichi --- Weyhrauch, Richard W. --- Hagiya, Masami
ISBN: 0127748601 9780127748603 Year: 1987 Publisher: Boston: Academic press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
COMMON LISP (Computer program language) --- Programming --- Artificial intelligence. Robotics. Simulation. Graphics --- Common lisp (computer program language)

Book

The semantics of Pascal in LCF
Authors: Aiello, Luigia --- Aiello, Mario --- Weyhrauch, Richard W.
Year: 1974 Publisher: Stanford Stanford university. Computer science department

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

FOL : a proof checker for first-order logic
Authors: Weyhrauch, Richard W. --- Thomas, Arthur J.
Year: 1974 Publisher: Stanford Stanford university. Computer science department

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords

Book

The semantics of Pascal in LCF
Authors: Aiello, Luigia --- Aiello, Mario --- Weyhrauch, Richard W. --- Stanford University.. Computer Science Department
Year: 1974 Publisher: Stanford: Stanford university press,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Pascal language(Semantics in LCF)

Listing 1 - 7 of 7
Sort by