UniCat-Search

Union Catalogue of Belgian Libraries

English | Nederlands | Français

Feedback

About UniCat

Help

News

Narrow your search

Library

UCLouvain (1)

ULB (1)

UNamur (1)

Resource type

book (2)

Language

French (2)

Year

From To

2020 (1)

2003 (1)

Listing 1 - 2 of 2
Sort by

Book

Introduction à la logique : théorie de la démonstration : cours et exercices corrigés
Authors: David, René --- Nour, Karim --- Raffalli, Christophe --- Curien, Pierre-Louis
ISBN: 2100067966 9782100067961 Year: 2003 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
Acqui 2006

Book

Logique pour l'informatique
Authors: Jaume, Mathieu. --- Journault, Matthieu --- Lesot, Marie-Jeanne --- Manoury, Pascal. --- Mounier, Isabelle. --- et al.
ISBN: 9782340042612 2340042615 Year: 2020 Publisher: Paris : ellipses,

Abstract | Keywords | Export | Availability | Bookmark

Loading...

Export citation
Choose an application

Reference Manager

EndNote

RefWorks (Direct export to RefWorks)

Bookmark

Abstract

Keywords
Computer logic --- Logic, Symbolic and mathematical --- Predicate (Logic) --- Logique informatique. --- Logique symbolique et mathématique. --- Prédicat (Logique).

Listing 1 - 2 of 2
Sort by