Detail page

Knowledge Web

Person

Norbert E. Fuchs

Informatiker

Name	Norbert E. Fuchs
Time	1974- (Wirkungsdaten)
Place	Tübingen (Wirkungsort) Deutschland Schweiz
Gender	männlich
Academic degree	Univ.Doz., Dipl.-Ing., Dr.techn. Dr. rer. nat.
Profession	Informatiker (characteristic profession) Physiker Hochschullehrer
Variant	Norbert Fuchs N. E. Fuchs N. Fuchs
Related	Universität Zürich. Institut für Informatik
Further information	Studium der theoretischen Physik in Tübingen
Source	Homepage: http://www.ifi.uzh.ch/rerg/people/fuchs/
Record type	Person
GND-Identifier	135985218
Record ID	135985218
Involved in show all The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts Controlled natural language : second international workshop ; revised papers Controlled Natural Language : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers Controlled natural language : third international workshop ; proceedings Controlled Natural Language : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings Controlled natural language : revised papers Controlled Natural Language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers Plural semantics for natural language understanding : a computational proof-theoretic approach Logic program synthesis and transformation : 7th international workshop ; proceedings Logic program synthesis and transformation : 7th international workshop ; proceedings Proceedings of the poster session at JICSLP '96 : Bonn, Germany, September 2 - 6, 1996 Kurs in Logischer Programmierung Kurs in Logischer Programmierung Pascal-Dokumentationssystem PRODOK Least-squares calculations of nuclear three body break-up

Please note

The beta version does not yet contain all functions and information of the DNB portal catalogue. If you are missing information or want to order a medium, please visit the page in the DNB portal catalogue via the following link:

Katalog der Deutschen Nationalbibliothek

Norbert E. Fuchs

The Naproche Project. Controlled Natural Language Proof Checking of Mathematical Texts

Controlled natural language : second international workshop ; revised papers

Controlled Natural Language : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

Controlled natural language : third international workshop ; proceedings

Controlled Natural Language : Third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012. Proceedings

Controlled natural language : revised papers

Controlled Natural Language : Workshop on Controlled Natural Language, CNL 2009, Marettimo Island, Italy, June 8-10, 2009. Revised Papers

Plural semantics for natural language understanding : a computational proof-theoretic approach

Logic program synthesis and transformation : 7th international workshop ; proceedings

Logic program synthesis and transformation : 7th international workshop ; proceedings

Proceedings of the poster session at JICSLP '96 : Bonn, Germany, September 2 - 6, 1996

Kurs in Logischer Programmierung

Kurs in Logischer Programmierung

Pascal-Dokumentationssystem PRODOK

Least-squares calculations of nuclear three body break-up