cam a22 4 4500 530189690 CHVBK 20201001074456.0 tu 180920s2018 gw ||||| m||| 00 |eng| 1167441656 DE-101 978-3-89838-739-2 AKA 978-1-61499-919-5 IOS Press (OCoLC)1054394997 (NEBIS)011298796 (DE-599)BVBBV045200554 (DE-604)BV045200554 1130 ger SzZuIDS NEBIS ETH-BIB rda XA-NL XA-DE Steen Alexander Verfasser aut Extensional paramodulation for higher-order logic and its effective implementation Leo-III Alexander Steen Berlin Akademische Verlagsgesellschaft AKA GmbH [2018] xiii, 231 Seiten Text txt rdacontent/ger ohne Hilfsmittel zu benutzen n rdamedia/ger Band nc rdacarrier/ger Dissertations in artificial intelligence volume 345 345 (NEBIS)000998774 300926502 Dissertation Freie Universität Berlin 2018 DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ) ger (ETHUDK)000061417 ethudk PRÄDIKATENLOGIK HÖHERER ORDNUNG (MATHEMATISCHE LOGIK) ger (ETHUDK)000012510 ethudk SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) ger (ETHUDK)000012523 ethudk Hochschulschrift gnd-content u PRÄDIKATENLOGIK HÖHERER ORDNUNG (MATHEMATISCHE LOGIK) ger 510.635.3 nebis E1 u SCHLUSSVERFAHREN + BEWEISTHEORIE (MATHEMATISCHE LOGIK) ger 510.662 nebis E1 u DEDUKTION + BEWEISEN VON THEOREMEN (KÜNSTLICHE INTELLIGENZ) ger 004*08*02*04 nebis E1 u HIGHER ORDER PREDICATE LOGIC (MATHEMATICAL LOGIC) eng 510.635.3 nebis E1 u LOGIQUE DES PRÉDICATS D'ORDRE SUPÉRIEUR (LOGIQUE MATHÉMATIQUE) fre 510.635.3 nebis E1 u INFERENCE SEARCH + PROOF THEORY (MATHEMATICAL LOGIC) eng 510.662 nebis E1 u RECHERCHE D'INFÉRENCE + THÉORIE DE LA PREUVE (LOGIQUE MATHÉMATIQUE) fre 510.662 nebis E1 u DÉDUCTION + DÉMONSTRATION DE THÉORÈMES (INTELLIGENCE ARTIFICIELLE) fre 004*08*02*04 nebis E1 u DEDUCTION + THEOREM PROVING (ARTIFICIAL INTELLIGENCE) eng 004*08*02*04 nebis E1 BK020300 XK020000 XK020000 121 E01-20181210 098 E01-20181210 NEBIS E01 E01 MG P 717404: 345 NEBIS 100 1- Steen Alexander Verfasser aut NEBIS 490 0- Dissertations in artificial intelligence volume 345 345 (NEBIS)000998774 300926502 NEBIS EAD50 EBI01 E01 https://opac.nebis.ch/objects/pdf03/e01_978-3-89838-739-2_01.pdf Titelblatt und Inhaltsverzeichnis VIEW pdf