3 résultat(s) recherche sur le tag 'logic'

Proof Methods for Modal and Intuitionistic Logics / FITTING

Public ISBD Titre : Proof Methods for Modal and Intuitionistic Logics Type de document : texte imprimé Auteurs : FITTING, Auteur Editeur : Reidel Année de publication : 1990 Langues : Inconnue (und) Tags : LOGIC Index. décimale : I1 I1 - Informatique Théorique Proof Methods for Modal and Intuitionistic Logics [texte imprimé] / FITTING, Auteur . - [S.l.] : Reidel, 1990. Langues : Inconnue (und) Tags : LOGIC Index. décimale : I1 I1 - Informatique Théorique

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
I1 / 665	Papier	OUVRAGES	INFORMATIQUE		Disponible

Temporal Logic of Programs / KROGER

Public ISBD Titre : Temporal Logic of Programs Type de document : texte imprimé Auteurs : KROGER, Auteur Editeur : Springer Verlag Année de publication : 1987 Langues : Inconnue (und) Tags : LOGIC Index. décimale : I1 I1 - Informatique Théorique Temporal Logic of Programs [texte imprimé] / KROGER, Auteur . - [S.l.] : Springer Verlag, 1987. Langues : Inconnue (und) Tags : LOGIC Index. décimale : I1 I1 - Informatique Théorique

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
I1 / 666	Papier	OUVRAGES	INFORMATIQUE		Disponible

The Logic of Time / VAN BENTHEM

Public ISBD Titre : The Logic of Time Type de document : texte imprimé Auteurs : VAN BENTHEM, Auteur Editeur : Reidel Année de publication : 1983 Langues : Inconnue (und) Tags : LOGIC Index. décimale : I1 I1 - Informatique Théorique The Logic of Time [texte imprimé] / VAN BENTHEM, Auteur . - [S.l.] : Reidel, 1983. Langues : Inconnue (und) Tags : LOGIC Index. décimale : I1 I1 - Informatique Théorique

Réservation

Réserver ce document

Exemplaires

Cote	Support	Localisation	Section	Notes	Disponibilité
I1 / 594	Papier	OUVRAGES	INFORMATIQUE		Disponible