Publikationsdetails

Zitat:	Armin Biere, "Journal on Satisfiability, Boolean Modeling and Computation" , in A. Biere ua, in Journal on Satisfiability, Boolean Modeling and Computation, Serie 1, Delft University, Netherlands, 8-2005, ISSN: ISSN 1574-0617
Original Titel:	Journal on Satisfiability, Boolean Modeling and Computation
Sprache des Titels:	Englisch
Journal:	Journal on Satisfiability, Boolean Modeling and Computation
Veröffentlicher:	Delft University
Verlagsanschrift:	Netherlands
Serie:	1
Erscheinungsmonat:	8
Erscheinungsjahr:	2005
ISSN:	ISSN 1574-0617
Anzahl der Seiten:	122
Publikationstyp:	Wissenschaftliche Fachzeitschrift (Mitherausgeberschaft)
Autoren:	Armin Biere
Forschungseinheiten:	Institut für Formale Modelle und Verifikation

Wissenschaftsgebiete:	Informatik (ÖSTAT:1108)

fodok.jku.at

Benutzerbetreuung: Sandra Winzer, letzte Änderung:

Johannes Kepler Universität (JKU) Linz, Altenbergerstr. 69, A-4040 Linz, Austria
Telefon + 43 732 / 2468 - 9121, Fax + 43 732 / 2468 - 29121, Internet www.jku.at, Impressum