UniCat-Search

Union Catalogue of Belgian Libraries

Feedback

About

Help

News

Narrow your search

Library

KU Leuven (1)

Odisee (1)

Thomas More Kempen (1)

Thomas More Mechelen (1)

UCLL (1)

ULB (1)

ULiège (1)

VIVES (1)

Resource type

book (3)

Language

English (3)

Year

From To

2005 (3)

Listing 1 - 3 of 3
Sort by

Book

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Authors: Nieuwenhuis, Robert. --- International Conference on Automated Deduction
Year: 2005 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence. --- Mathematical logic. --- Computer logic. --- Software engineering. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Software Engineering.

Book

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Authors: Nieuwenhuis, Robert. --- International Conference on Automated Deduction
Year: 2005 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence. --- Mathematical logic. --- Computer logic. --- Software engineering. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Software Engineering.

Book

Automated Deduction – CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
Authors: Nieuwenhuis, Robert. --- International Conference on Automated Deduction
Year: 2005 Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Artificial intelligence. --- Mathematical logic. --- Computer logic. --- Software engineering. --- Artificial Intelligence. --- Mathematical Logic and Formal Languages. --- Logics and Meanings of Programs. --- Software Engineering.

Listing 1 - 3 of 3
Sort by