Sortiert nach
6. Aufl. 2018, 2018
- Link zum Volltext
Graduate Texts in Mathematics : 291
3rd ed. 2021, 2021
- Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenArt des Mediums
Autor / Autorin
Erscheinungsform
Schlagwort
- Mathematische Logik
- Computer science
- Artificial intelligence
- Baumautomat
- Bewachte Logik
- Büchi-Automat
- Computer science—Mathematics
- Formale Sprache
- Funktionale Programmierung
- Informatik
- Logic design
- Logic, Symbolic and mathematical
- Logik
- Logische Programmierung
- Mathematical logic
- Mathematics
- Model Checking
- Monade
- My-Kalkül
- Stufe 2
Erscheinungsjahr
n.n
n.n
Neu hinzugefügt
Systemstelle