Logique élémentaire : cours de base pour informaticiens
Enregistré dans:
Auteur principal : | |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Logique élémentaire : cours de base pour informaticiens / par Jacques Zahnd |
Publié : |
Lausanne, [Paris] :
Presses polytechniques et universitaires romandes
, 1998 [diff. Tec & doc-Lavoisier] |
Description matérielle : | 1 vol. (VII-430 p.) + formulaire de logique |
Collection : | Collection Informatique |
Sujets : | |
Documents associés : | Autre format:
Logique élémentaire |
LEADER | 02554cam a2200697 4500 | ||
---|---|---|---|
001 | PPN00435849X | ||
003 | http://www.sudoc.fr/00435849X | ||
005 | 20231026060500.0 | ||
010 | |a 2-88074-360-5 |b br. |d 77 CHS | ||
020 | |a FR |b 09820305 | ||
021 | |a FR |b DL 98-04783 (D3) | ||
033 | |a http://catalogue.bnf.fr/ark:/12148/cb36968699g | ||
035 | |a 072071311 |9 sudoc | ||
035 | |a (OCoLC)38490270 | ||
035 | |a sib1138862 | ||
035 | |a lm124769 | ||
035 | |a ubs36216 | ||
035 | |a ocm38490270 | ||
035 | |a bua67670 | ||
035 | |a urouen153157 | ||
035 | |a frBN023343912 | ||
035 | |a FRBNF369686990000002 |z FRBNF36968699 | ||
073 | 0 | |a 9782880743604 | |
100 | |a 19980305d1998 k y0frey0103 ba | ||
101 | 0 | |a fre |2 639-2 | |
102 | |a CH | ||
105 | |a a a 001yy | ||
106 | |a r | ||
181 | |6 z01 |c txt |2 rdacontent | ||
181 | 1 | |6 z01 |a i# |b xxxe## | |
182 | |6 z01 |c n |2 rdamedia | ||
182 | 1 | |6 z01 |a n | |
183 | |6 z01 |a nga |2 RDAfrCarrier | ||
200 | 1 | |a Logique élémentaire |e cours de base pour informaticiens |f par Jacques Zahnd | |
214 | 0 | |a Lausanne |c Presses polytechniques et universitaires romandes |a [Paris] |c [diff. Tec & doc-Lavoisier] |d 1998 | |
215 | |a 1 vol. (VII-430 p.) |c ill., fig. |d 24 cm |e formulaire de logique | ||
225 | 0 | |a Collection Informatique | |
305 | |a Autre tirage : 2003 (réimpression corrigée) | ||
320 | |a Bibliogr. p. 423-425. Index | ||
410 | | | |0 013353810 |t Collection Informatique | |
452 | | | |0 11583897X |t Logique élémentaire |b Ressource électronique |o cours de base pour informaticiens |f par Jacques Zahnd |c Lausanne |n Presses polytechniques et universitaires romandes |n [diff. Tec & doc-Lavoisier] |d 1998 |s Collection Informatique | |
606 | |3 PPN027682005 |a Langages formels |2 rameau | ||
606 | |3 PPN027221776 |a Calcul des prédicats |2 rameau | ||
606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
606 | |3 PPN035073144 |a Logique informatique |2 rameau | ||
606 | |3 PPN031498949 |a Informatique |x Mathématiques |2 rameau | ||
675 | |a 51 |v Éd. 1967 | ||
676 | |a 510 | ||
680 | |a QA9 | ||
700 | 1 | |3 PPN030426723 |a Zahnd |b Jacques |f 1939-.... |4 070 | |
801 | 3 | |a FR |b Abes |c 20230327 |g AFNOR |h 072071311 | |
801 | 3 | |a FR |b SF |g AFNOR | |
801 | 1 | |a US |b OCLC |g AACR2 | |
801 | 2 | |a FR |b AUROC |g AFNOR | |
801 | 3 | |a FR |b BN |g AFNOR | |
801 | 0 | |a FR |b SCD Le Mans |g AFNOR | |
801 | 1 | |a FR |b UBS |c 20011011 |g AFNOR | |
979 | |a IUTN | ||
930 | |5 441092206:801177596 |b 441092206 |j s | ||
991 | |5 441092206:801177596 |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:05 | ||
998 | |a 62505 |