Das Buch ist derzeit nicht auf Lager
On some semantic tableau proof procedures for modal logic
Autoren
Buchkauf
On some semantic tableau proof procedures for modal logic, Graham Wrightson
- Sprache
- Erscheinungsdatum
- 1984
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Deine Änderungsvorschläge
- Titel
- On some semantic tableau proof procedures for modal logic
- Sprache
- Deutsch
- Autor*innen
- Graham Wrightson
- Verlag
- VDI-Verlag
- Erscheinungsdatum
- 1984
- ISBN10
- 3181430102
- ISBN13
- 9783181430101
- Reihe
- Fortschrittberichte der VDI-Zeitschriften : Reihe 10, Angewandte Informatik, Elektronische Datenverarbeitung
- Kategorie
- Informatik & Programmierung