Mathematical logic for computer science / Mordechai Ben-Ari

Livre

Ben-Ari, Mordechai (1948-....). Auteur

Edited by Springer - 2001

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même sujet

Tractatus logico-philosophicus / Ludwig Wittgenstein | Wittgenstein, Ludwig (1889-1951). Auteur

Tractatus logico-philosophicus / Ludwig Wittgenstein

Livre | Wittgenstein, Ludwig (1889-1951). Auteur | 2001

Maths et informatique : BCPST 2 : méthodes et exercices / Arnaud Bégyn, Florian Marty, Thierry Marengo... [et al.] | Bégyn, Arnaud (1979-....). Auteur

Maths et informatique : BCPST 2 : méthodes et exercices / Arnaud Bégyn, Flo...

Livre | Bégyn, Arnaud (1979-....). Auteur | 2022 - 2e édition

Informatique théorique : problèmes et exercices corrigés / Nguyen Huy Xuong,... | Nguyen, Huy Xuong (19..-....) - informaticien. Auteur

Informatique théorique : problèmes et exercices corrigés / Nguyen Huy Xuong...

Livre | Nguyen, Huy Xuong (19..-....) - informaticien. Auteur | 2004

IPT Informatique pour tous : algorithmique, programmation Python, ingénierie numérique et simulation (bibliothèques Numpy et Scipy de Python) / Nicolas Nguyen,... Gweltaz Chatel,... | Nguyen, Nicolas (1973-....) - agrégé de mathématiques. Auteur

IPT Informatique pour tous : algorithmique, programmation Python, ingénieri...

Livre | Nguyen, Nicolas (1973-....) - agrégé de mathématiques. Auteur | 2018

Informatique pour tous : programmation Python langage SQL : CPGE scientifiques 1re et 2e années / Cécile Canu,... | Canu, Cécile (19..-....) - enseignante d'informatique. Auteur

Informatique pour tous : programmation Python langage SQL : CPGE scientifiq...

Livre | Canu, Cécile (19..-....) - enseignante d'informatique. Auteur | 2018

La logique, un aiguillon pour la pensée / Jean-Paul Delahaye | Delahaye, Jean-Paul (1952-....) - mathématicien. Auteur

La logique, un aiguillon pour la pensée / Jean-Paul Delahaye

Livre | Delahaye, Jean-Paul (1952-....) - mathématicien. Auteur | 2012

Chargement des enrichissements...