Design Patterns für mathematische Beweise : Ein Leitfaden insbesondere für Informatiker / / von Hans Jürgen Ohlbach, Norbert Eisinger |
Autore | Ohlbach Hans Jürgen |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 |
Descrizione fisica | 1 online resource (XI, 184 S. 2 Abb.) |
Disciplina | 004.0151 |
Soggetto topico |
Computer science—Mathematics
Mathematical logic Algorithms Math Applications in Computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity Symbolic and Algebraic Manipulation |
ISBN | 3-662-55652-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ger |
Nota di contenuto | I: Einfache und komplexe Beweismuster -- Einleitung -- Vorbereitung: Arten des Schließens -- Vorbereitung: Schreibweisen der Logik -- Einfache Beweismuster -- Komplexe Beweismuster -- Vollständige Induktion -- II: Transfinite Ordinalzahlen und transfinite Induktion -- Einleitung -- Vollständige Induktion und Grenzwertbildung -- Transfinite Ordinalzahlen -- Transfinite Induktion -- Exkurs: mathematisches Arbeiten -- Anhang -- Literatur -- Index. |
Record Nr. | UNINA-9910484664503321 |
Ohlbach Hans Jürgen
![]() |
||
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer Vieweg, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Reasoning Web [[electronic resource] ] : First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures / / edited by Norbert Eisinger, Jan Maluszynski |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (X, 326 p.) |
Disciplina | 025.04 |
Collana | Information Systems and Applications, incl. Internet/Web, and HCI |
Soggetto topico |
Application software
Computer communication systems Information storage and retrieval Information technology Business—Data processing Computer logic Artificial intelligence Information Systems Applications (incl. Internet) Computer Communication Networks Information Storage and Retrieval IT in Business Logics and Meanings of Programs Artificial Intelligence |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic Applications -- Towards Types for Web Rule Languages. |
Record Nr. | UNISA-996465826403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reasoning web : first international summer school 2005, Msida, Malta, July 25-29, 2005 : tutorial lectures / / Norbert Eisinger, Jan Mauszynski (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, 2005 |
Descrizione fisica | 1 online resource (X, 326 p.) |
Disciplina | 025.04 |
Altri autori (Persone) |
EisingerNorbert
MauszynskiJ <1941-> (Jan) |
Collana | Lecture notes in computer science,Tutorial |
Soggetto topico |
Semantic Web
Ontology Knowledge representation (Information theory) Query languages (Computer science) |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | to Semantic Web Ontology Languages -- Rules and Ontologies in F-Logic -- Web and Semantic Web Query Languages: A Survey -- Evolution and Reactivity for the Web -- Personalization for the Semantic Web -- Attempto Controlled English: A Knowledge Representation Language Readable by Humans and Machines -- Rule Modeling and Markup -- Information Extraction for the Semantic Web -- Reuse in Semantic Applications -- Towards Types for Web Rule Languages. |
Record Nr. | UNINA-9910484597203321 |
Berlin ; ; New York, : Springer, 2005 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|