Login
Dokumenttyp:
Sonstiges / Other Publication
Titel:
Dealing with non-constructive specifications involving quantifiers
Reihentitel:
Research Report MCC
Bandnummer Reihe:
4
Verlagsort:
Rio de Janeiro
Verlegende Institution:
Pontificia Universidade Catolica
Jahr:
1993
Sprache:
Englisch
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX