Studer, Thomas.

概要

作品:	1 作品在 1 項出版品 1 種語言

書目資訊

Advances in Proof Theory by: SpringerLink (Online service); Kahle, Reinhard.; Studer, Thomas.; Strahm, Thomas. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/edt]

Advances in proof theory by: Strahm, Thomas.; Studer, Thomas.; Kahle, Reinhard.; SpringerLink (Online service) (書目-語言資料,印刷品)

Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL / by: Studer, Thomas.; SpringerLink (Online service) (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL / by: SpringerLink (Online service); Studer, Thomas. (書目-語言資料,印刷品) , [http://id.loc.gov/vocabulary/relators/aut]

主題

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.