Many-sorted logic and its applications

Many-sorted logic and its applications

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Meinke Karl (Éditeur scientifique), Tucker J. V. (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Many-sorted logic and its applications / edited by K. Meinke and J. V. Tucker
Publié : Chichester, New York, Brisbane : Wiley , cop. 1993
Description matérielle : 1 vol. (XVII-397 p).
Collection : Wiley professional computing
Sujets :
Informatique > Mathématiques
Logique mathématique
Intelligence artificielle > Logiciels

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin n.3 510.6 MAN/12917 Empruntable Disponible