Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Fundamental studies in computer science"
'
Aller au contenu
VuFind
Portail des bu
0
notices
(Plein)
Mon compte
Se déconnecter
Connexion compte-lecteur
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
Tous les mots
Titre
Titre de revue
Auteur
Sujet
Recherche avancée
Résultats de la recherche - "Fundamental studies in computer science"
Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Démonstration automatique
1
Théorèmes
1
Résultat(s)
1 - 1
résultats de
1
pour la requête '
"Fundamental studies in computer science"
'
Affiner les résultats
Résultats par page
25
50
75
100
Trier
Pertinence
Date (décroissante)
Date (croissante)
Cote
Auteur
Titre
1
Automated theorem Proving : a logical basis
par
Loweland, Donald.
Publié 1978
Livre
Ajouter au panier
Retirer du panier
Ajouter à une liste
Enregistré dans:
Outils de recherche:
Flux RSS
—
Envoyer la recherche
—
Enregistrer la recherche
Retour
Restreindre la recherche
Bibliothèque
BU-Lettres
1
Support
Livre
1
Auteur
Loweland, Donald
1
Langue
Anglais
1
Année de publication
De:
À:
Chargement en cours...