Knihu momentálně nemáme skladem
On some semantic tableau proof procedures for modal logic
Autoři
Nákup knihy
On some semantic tableau proof procedures for modal logic, Graham Wrightson
- Jazyk
- Rok vydání
- 1984
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
2021 2022 2023
Navrhnout úpravu
- Titul
- On some semantic tableau proof procedures for modal logic
- Jazyk
- německy
- Autoři
- Graham Wrightson
- Vydavatel
- VDI-Verlag
- Rok vydání
- 1984
- ISBN10
- 3181430102
- ISBN13
- 9783181430101
- Série
- Fortschrittberichte der VDI-Zeitschriften : Reihe 10, Angewandte Informatik, Elektronische Datenverarbeitung
- Kategorie
- Počítače, IT, programování