Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
1997 |
Autor(en): |
Strohmaier, Antje |
Art des Eintrags: |
Bibliographie |
Titel: |
Multi-flip networks: parallelizing GenSAT |
Sprache: |
Deutsch |
Publikationsjahr: |
1997 |
Ort: |
Berlin, Heidelberg (u.a.) |
Verlag: |
Springer |
Reihe: |
German Annual Conference on Artificial Intelligence <21, 1997, Freiburg>: Proceedings. Hrsg.: G. Brewka (u.a.) S. 349-360 |
Band einer Reihe: |
1303 |
Auflage: |
Berlin, Heidelberg (u.a.): Springer, 1997 |
Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik |
Hinterlegungsdatum: |
20 Nov 2008 08:15 |
Letzte Änderung: |
05 Mär 2013 08:56 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
|
Redaktionelle Details anzeigen |