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       Symbolic logic and mechanical theorem proving 1. Person/Familie Chang, Chin-Liang 2. Person/Familie Lee, Richard Char-Tung Titel Symbolic logic and mechanical theorem proving Verlagsort London u.a. Verlag Academic Press E-Jahr 1973 Umfangsangabe 331 S. HT 1. Reihe u. Zähl. Computer science and applied mathematics ISBN 0-12-170350-9 Notation 03Fxx Notation 5.21 C Notation 0.7 Bestand 1 Sign-Info 03Fxx Cha

• 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