Treffer 1 - 11 von 11 für Suche 'Kennedy, Juliette 1955-', Suchdauer: 0,34s
Treffer weiter einschränken
-
1
Gödel, Tarski and the lure of natural language logical entanglement, formalism freeness von Kennedy, Juliette 1955-
Veröffentlicht 2021Signatur: Wird geladen …FUBA1
Standort: Wird geladen …
URL des Erstveröffentlichers
Elektronisch E-Book -
2
Gödel, Tarski and the lure of natural language logical entanglement, formalism freeness von Kennedy, Juliette 1955-
Veröffentlicht 2021Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
3
Gödel, Tarski and the lure of natural language logical entanglement, formalism freeness von Kennedy, Juliette 1955-
Veröffentlicht 2020Signatur: Wird geladen …BSB01
Standort: Wird geladen …
FHN01
UBA01
UBG01
URL des Erstveröffentlichers
Elektronisch E-Book -
4
Gödel's incompleteness theorems von Kennedy, Juliette 1955-
Veröffentlicht 2022Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
5
Gödel's Incompleteness theorems von Kennedy, Juliette 1955-
Veröffentlicht 2022Signatur: Wird geladen …BSB01
Standort: Wird geladen …
UBG01
URL des Erstveröffentlichers
Elektronisch E-Book -
6
Set theory, arithmetic, and foundations of mathematics theorems, philosophies von Kennedy, Juliette 1955-
Veröffentlicht 2012Signatur: Wird geladen …Cover image
Standort: Wird geladen …
Inhaltsverzeichnis
Buch -
7
Logic, language, information, and computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
Veröffentlicht 2017Weitere Verfasser: “… Kennedy, Juliette 1955- …”
Signatur: Wird geladen …
Standort: Wird geladen …
VolltextElektronisch Tagungsbericht E-Book -
8
Logic, language, information, and computation 24th international workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings
Veröffentlicht 2017Weitere Verfasser: “… Kennedy, Juliette 1955- …”
Signatur: Wird geladen …
Standort: Wird geladen …Tagungsbericht Buch Wird geladen … -
9
Interpreting Gödel critical essays
Veröffentlicht 2014Weitere Verfasser: “… Kennedy, Juliette 1955- …”
Signatur: Wird geladen …BSB01
Standort: Wird geladen …
FHN01
UBG01
URL des Erstveröffentlichers
Elektronisch E-Book -
10
Interpreting Gödel critical essays
Veröffentlicht 2014Weitere Verfasser: “… Kennedy, Juliette 1955- …”
Signatur: Wird geladen …UEI01
Standort: Wird geladen …
Cover image
Elektronisch E-Book -
11
Set theory, arithmetic, and foundations of mathematics theorems, philosophies
Veröffentlicht 2011Weitere Verfasser: “… Kennedy, Juliette 1955- …”
Signatur: Wird geladen …BSB01
Standort: Wird geladen …
FHN01
FUBA1
URL des Erstveröffentlichers
Elektronisch E-Book
Suchwerkzeuge:
Ähnliche Schlagworte
Logic, Symbolic and mathematical
Gödel, Kurt 1906-1978
Logik
Mathematik
Philosophie
Formalisierung
Gödel, Kurt
Mathematics / Philosophy
Tarski, Alfred 1901-1983
Aufsatzsammlung
Formale Grammatik
Formale Syntax
Gödelscher Unvollständigkeitssatz
Konferenzschrift
Künstliche Intelligenz
Mathematische Logik
Mengenlehre
Natürliche Sprache
Programmierlogik
Programmiersprache
Set theory
Theoretische Informatik
Algorithm Analysis and Problem Complexity
Algorithms
Artificial Intelligence (incl. Robotics)
Artificial intelligence
Computer Science
Computer science
Computer science / Mathematics
Gödel's theorem