Zuse Institute Berlin (ZIB)
Takustraße 7
14195 Berlin
Deutschland
Phone: +49 30 84185-100
Fax: +49 30 84185-125
E-Mail: info@zib.de
Internet: http://www.zib.de
Katalog der ZIB-Bibliothek
|
Hilfe
Korb
RSS
|
Suchen
Einstellungen
Feedback
Ergebnisliste
Indexsuche
Suchverlauf
Anmelden
Titelsatz
In den Korb
Verfassen Sie eine Notiz zum Korbeintrag
|
Speichern/Senden
Speichern/Senden
Titel werden editiert und zum Download bereitgestellt.
Zum Versenden bitte E-Mail-Adresse angeben.
Satzformat
Vollformat
Kartenformat
Kurzlistenformat
RIS-Format (Reference Manager)
Kodierung
UTF-8
ISO Latin-1
Betreff
E-Mail
Überschrift/
Anschreiben
oder
Anzeigeformat
Standard
|
Feldnummern
|
Katalogkarte
Satz 1 von 1
Handbook of satisfiability
1. Person/Familie
Biere, Armin
Titel
Handbook of satisfiability
Verantw.-ang.
ed. by A. Biere ...
Verlagsort
Amsterdam [u.a.]
Verlag
IOS Press
E-Jahr
2009
Umfangsangabe
XIII, 966 S.
Andere Details zur phys. Beschr.
graph. Darst.
HT 1. Reihe u. Zähl.
Frontiers in artificial intelligence and applications ; 185
Weitere Angaben
Literaturangaben
ISBN
978-1-586-03929-5
Notation
68T20
Notation
68Q60
Notation
68-02
Bestand
1
Sign-Info
68T20 Bie
Hinweise zur Anzeige im Standardformat:
Klicken Sie auf eine unterstrichene Feldbezeichnung, um zur Indexliste zu kommen.
Klicken Sie auf Bestand, um zur Bestandsliste zu gelangen und ggf. zu bestellen.
Klicken Sie auf einen unterstrichenen Feldinhalt, um verwandte Titel zu sehen.
Klicken Sie auf den Pfeil, um verknüpfte Sätze aufzurufen.
© 2021 Ex Libris (Deutschland) GmbH