Details for: Logique et démonstration automatique , Introduction à la logique propositionnelle et à la logique du premier ordre

Image from Amazon.com

Normal view MARC view ISBD view

Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre

Main Author: Stéphane, DevismesSecondary Author: Pascale, Lafourcade;Michel, LévyLanguage: French.Country: DZ.Publication: Ellipses, Paris : 2012Description: 209 P : Couv ill, Tabl ; 26 cmISBN: 9782729872298.Subject - Topical Name: Logique, syntaxe, déduction, circuit, logique fonction, dualité

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Call number	Status	Date due	Barcode
Books	مكتبة العلوم والتكنولوجيا	INF/012/3/09/001 (Browse shelf(Opens below))	Available		LST/INF/012/3/09/001
Books	مكتبة العلوم والتكنولوجيا	INF/012/3/09/002 (Browse shelf(Opens below))	Available		LST/INF/012/3/09/002

Previous						No cover image available	No cover image available	Next
Previous	INF/012/3/07/002 HTML5 et PHP5, Développez des applications web performentes	INF/012/3/08/001 Informatique et intelligence ambiante, Des capteurs aux applications	INF/012/3/08/002 Informatique et intelligence ambiante, Des capteurs aux applications	INF/012/3/09/001 Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordre	INF/012/3/09/002 Logique et démonstration automatique, Introduction à la logique propositionnelle et à la logique du premier ordre	INF/012/3/10/001 Les web services, Concevoir et utiliser des applications 2.0	INF/012/3/10/002 Les web services, Concevoir et utiliser des applications 2.0	Next

There are no comments on this title.

to post a comment.