Logique élémentaire : cours de base pour informaticiens

Enregistré dans:
Détails bibliographiques
Auteur principal : Zahnd Jacques (Auteur)
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