Narrow results
- location
-
subject
- Programmierlogik (100)
- Logik (48)
- Logische Programmierung (34)
- Theoretische Informatik (27)
- Automatisches Beweis… (26)
- Display more …
-
year
- <=1990 (16)
- 1994 - 2003 (15)
- 2004 - 2010 (39)
- >=2011 (30)
-
language
- English (93)
- German (5)
- Undetermined (2)
-
document type
- Monografie (99)
- Aufsatzsammlung (89)
- Konferenzschrift (89)
- Computerdatei (79)
- E-Book (79)
- Display more …
-
author
- Dershowitz, Nachum (3)
- Kozen, Dexter (3)
- Queiroz, Ruy J. G. B… (3)
- Armando, Alessandro (2)
- Baaz, Matthias (2)
- Display more …
Questions?
If you have any further questions please contact us.
You can find our contact details on our page: