Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Collection Lecture notes in artificial intelligence
|
|
Documents disponibles dans la collection (2)
Faire une suggestion Affiner la rechercheAnalogical and inductive inference / International Workshop AII '89 (1989; Reinhardsbrunn, Germany) / Springer-Verlag (1989)
Titre : Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989 ; proceedings Type de document : texte imprimé Auteurs : International Workshop AII '89 (1989; Reinhardsbrunn, Germany), Auteur ; Klaus Peter Jantke (1951-....), Éditeur scientifique Editeur : Springer-Verlag Année de publication : 1989 Collection : Lecture notes in artificial intelligence num. 397 Importance : 1 vol. (ix-338 p.)graphiques, ill. Format : 25 cm. ISBN/ISSN/EAN : 978-3-540-51734-4 Langues : Anglais (eng) Catégories : GÉNÉRALITÉS:Proceedings-Congrès-Conférences-Colloques Index. décimale : 00-08 Proceedings-Congrès-Conférences-colloques Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989 ; proceedings [texte imprimé] / International Workshop AII '89 (1989; Reinhardsbrunn, Germany), Auteur ; Klaus Peter Jantke (1951-....), Éditeur scientifique . - Springer-Verlag, 1989 . - 1 vol. (ix-338 p.)graphiques, ill. ; 25 cm.. - (Lecture notes in artificial intelligence; 397) .
ISBN : 978-3-540-51734-4
Langues : Anglais (eng)
Catégories : GÉNÉRALITÉS:Proceedings-Congrès-Conférences-Colloques Index. décimale : 00-08 Proceedings-Congrès-Conférences-colloques Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000140440 00-08-131 Livre Salle 1 Documentaires Exclu du prêt 42439 Computational aspects of an order-sorted logic with term declarations / M. SCHMIDT-SCHAUB / Springer-Verlag (1989)
Titre : Computational aspects of an order-sorted logic with term declarations : V.395 Type de document : texte imprimé Auteurs : M. SCHMIDT-SCHAUB, Auteur Editeur : Springer-Verlag Année de publication : 1989 Collection : Lecture notes in artificial intelligence Importance : 171 p. Format : 25 cm. ISBN/ISSN/EAN : 978-0-387-51705-6 Note générale : index Langues : Anglais (eng) Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Computational aspects of an order-sorted logic with term declarations : V.395 [texte imprimé] / M. SCHMIDT-SCHAUB, Auteur . - Springer-Verlag, 1989 . - 171 p. ; 25 cm.. - (Lecture notes in artificial intelligence) .
ISBN : 978-0-387-51705-6
index
Langues : Anglais (eng)
Catégories : INFORMATIQUE:Logiciels et programmation Index. décimale : 08-02 Logiciels et programmation Exemplaires(1)
Code-barres type de document numéro d'inventaire Cote Support Localisation Section Disponibilité 00001000014959 08-02-457 Livre Salle 1 Documentaires Exclu du prêt 79733

