Union Catalogue of Belgian Libraries
Search
Feedback
About UniCat 
Help
News
Narrow your search
| Listing 1 - 3 of 3 |
Sort by
|
Periodical
Educational insights
Author: University of British Columbia.
Year: 1992 Publisher: Vancouver : Centre for the Study of Curriculum and Instruction, University of British Columbia.
Year: 1992 Publisher: Vancouver : Centre for the Study of Curriculum and Instruction, University of British Columbia.
Abstract | Keywords | Export | Availability | Bookmark
Book
HOL Theorem Proving System and Applications
Loading...
Authors:
Archer, Myla.
---
International Workshop on the HOL Theorem Proving System and Its Applications
---
University of California, Davis.
---
University of Idaho.
---
University of British Columbia.
Year: 1992 Publisher: [Place of publication not identified] IEEE Computer Society Press
Year: 1992 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Book
HOL Theorem Proving System and Applications
Loading...
Authors:
Archer, Myla.
---
International Workshop on the HOL Theorem Proving System and Its Applications
---
University of California, Davis.
---
University of Idaho.
---
University of British Columbia.
Year: 1992 Publisher: [Place of publication not identified] IEEE Computer Society Press
Year: 1992 Publisher: [Place of publication not identified] IEEE Computer Society Press
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
| Listing 1 - 3 of 3 |
Sort by
|