Computational aspects of an order-sorted logic with term declarations / M. SCHMIDT-SCHAUB / Springer-Verlag (1989)

Public ISBD Aucun avis sur cette notice. Faire une suggestion d'achat 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

---

1 (1 - 1 / 1) Par page : 25 50 100 200