Logique

by Gochet, Paul

Type Book

Rate 0.0 /5

Details

Files

Reviews

Download

Title Statements

Full title :Logique / Paul Gochet, Pascal Gribomont, André Thayse.

Edition Statements

Publication Date:©1994-©2000.

Publication Statements

Publisher(s):Hermes
Place of Publication:Paris
Language:fre
Publication Date:©1994-©2000.

The Physical Object

Description:3 volumes : : illustrations ; : 24 cm

Edition Identifiers

ISBN:2866012496, 9782866012496, 2866013956, 9782866013950, 2746201313, 9782746201316
oclc:ocn300490220
LC Classification:QA9 G62
Dewey Decimal:511.3

v. 1. Méthodes pour l'information fondamentale -- v. 2. Méthodes formelles pour l'étude des programmes -- v. 3. Méthodes pour l'intelligence artificielle.

Dépouillement. : V.1 Méthodes pour l'informatique fondamentale. -V.2 Méthodes formelles pour l'étude des programmes. -- V.3 Méthodes pour l'intelligence artificielle.

Subjects

Analytique deduction Informatique Logic, Symbolic and mathematical logique formelle logique formelle -- 20e s. -- Antiquité Logique mathématique logique mathématique -- manuel Logique symbolique et mathématique manuel Parallele Prédicat (logique) Predicate (Logic) Programmation Sémantique Tradition