Studer, Thomas.

Overview

Works:	1 works in 1 publications in 1 languages

Titles

Advances in Proof Theory by: SpringerLink (Online service); Kahle, Reinhard.; Studer, Thomas.; Strahm, Thomas. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/edt]

Advances in proof theory by: Strahm, Thomas.; Studer, Thomas.; Kahle, Reinhard.; SpringerLink (Online service) (Language materials, printed)

Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL / by: Studer, Thomas.; SpringerLink (Online service) (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL / by: SpringerLink (Online service); Studer, Thomas. (Language materials, printed) , [http://id.loc.gov/vocabulary/relators/aut]

Subjects

Mathematical logic. Software Engineering. Proof theory Data Structures and Information Theory. Database management. Information storage and retrieval. Mathematics. Software engineering. Database Management. Information Storage and Retrieval. Data structures (Computer science). Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages.