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. Software engineering. Data structures (Computer science). Logic. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Database management. Information storage and retrieval. Mathematics. Information Storage and Retrieval. Database Management.