Custom cover image
Custom cover image

Mechanizing hypothesis formation : Mathematical foundations for a general theory / P. Hájek; T. Havránek

By: Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: UniversitextPublisher: Berlin ; Heidelberg [u.a.] : Springer, 1978Description: XV, 396 S : graph. DarstISBN:
  • 0387087389
  • 3540087389
Subject(s): Additional physical formats: Erscheint auch als: Mechanizing Hypothesis Formation. Online-Ausgabe Berlin, Heidelberg : Springer Berlin Heidelberg, 1978. Online-Ressource (online resource)DDC classification:
  • 001.535 UKD
RVK: RVK: SK 130 | QH 120 | QH 700LOC classification:
  • QA76.9.A955
Call number: Grundsignatur: 78 A 1878PPN: PPN: 019871457
Holdings
Item type Home library Shelving location Call number Status Barcode
Magazinbestand ausleihbar Bibliothek Campus Süd Geschlossenes Magazin 78 A 1878 Available 51629926090
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Grundl./Logik / Haj Available 09036124176
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Grundl./Logik / Haj Available 09036124212
Freihandbestand ausleihbar Fachbibliothek Mathematik Bibliothek / frei aufgestellt Grundl./Logik / Haj Available 09036124256
Total holds: 0