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       Automated practical reasoning: algebraic approaches 1. Person/Familie Pfalzgraf, Jochen [Hrsg.] 2. Person/Familie Wang, Dongming [Hrsg.] Titel Automated practical reasoning: algebraic approaches Verlagsort Berlin u.a. Verlag Springer E-Jahr 1995 Umfangsangabe 223 S. HT 1. Reihe u. Zähl. Reihe: Texts and monographs of symbolic computation ISBN 3-211-82600-9 Notation 68-06 Notation 00B06 Notation 5.7 P Bestand 1 Sign-Info 68-06 Pfa

• 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