Épuisé
Handbuch der Informatik - 6.2: Deduktion
Automatisierung der Logik
Auteurs
Achat du livre
Handbuch der Informatik - 6.2: Deduktion, Wolfgang Bibel
- Langue
- Année de publication
- 1992
- Reliure
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .
- Titre
- Handbuch der Informatik - 6.2: Deduktion
- Sous-titre
- Automatisierung der Logik
- Langue
- Allemand
- Auteurs
- Wolfgang Bibel
- Éditeur
- Oldenbourg
- Publié
- 1992
- Format
- rigide
- Pages
- 269
- ISBN10
- 3486207857
- ISBN13
- 9783486207859
- Séries
- Mots clés
- Développement de logiciels