Résultat(s)
1 - 9
résultats de
9
pour la requête '
Gallier, Jean H.
'
Aller au contenu
VuFind
Langue
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Tag
Rechercher
Recherche avancée
Auteur
Gallier, Jean H.
Résultat(s)
1 - 9
résultats de
9
pour la requête '
Gallier, Jean H.
'
, Temps de recherche: 0,02s
Affiner les résultats
Trier
Pertinence
Date (décroissante)
Date (croissante)
Cote
Auteur
Titre
1
Chargement en cours...
Logic For Computer Science: Foundations Of Automatic Theorem Proving
par
Gallier
,
Jean
H
Publié 1987
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
2
Chargement en cours...
Geometric methods and applications/
par
Gallier
,
Jean
H
.
Publié 2011
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
3
Chargement en cours...
Logic for computer science : Foundations of Automatic Theorem proving/
par
Gallier
,
Jean
H
.
Publié 1987
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
4
Chargement en cours...
Geometric methods and applications for compute science and engineering/
par
Gallier
,
Jean
H
.
Publié 2000
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
5
Chargement en cours...
Discrete mathematics /
par
Gallier
,
Jean
H
.
Publié 2011
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Contributor biographical information
Publisher description
Table of contents only
Printed Book
6
Chargement en cours...
Geometric methods and applications : for computer science and engineering /
par
Gallier
,
Jean
H
.
Publié 2001
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
7
Chargement en cours...
Logic for computer science : foundations of automatic theorem proving /
par
Gallier
,
Jean
H
.
Publié 1986
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
8
Chargement en cours...
Logic for computer science : foundations of automatic theorem proving /
par
Gallier
,
Jean
H
.
Publié 2015
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
9
Chargement en cours...
Logic for computer science: foundations of automatic theorem proving
par
Gallier
,
Jean
H
; Author
Publié 1987
Cote:
Chargement en cours...
Localisé:
Chargement en cours...
Printed Book
Chargement en cours...
Outils de recherche:
S'abonner aux flux RSS
—
Envoyer cette recherche par courriel
Sujets similaires
Automatic theorem proving
Logic, Symbolic and mathematical
Computer science
Computer vision
Engineering design
Geometry
MATHEMATICS / Logic
Mathematics
Number theory
Chargement en cours...