Leitsch, Alexander, 1952-....
Leitsch, Alexander
Alexander Leitsch matemàtic austríac
VIAF ID: 84534750 ( Personal )
Permalink: http://viaf.org/viaf/84534750
Preferred Forms
- 100 0 _ ‡a Alexander Leitsch ‡c matemàtic austríac
- 200 _ | ‡a Leitsch ‡b Alexander ‡f 1952-....
- 100 1 _ ‡a Leitsch, Alexander
- 100 1 _ ‡a Leitsch, Alexander
-
-
- 100 1 _ ‡a Leitsch, Alexander
-
-
-
-
- 100 1 0 ‡a Leitsch, Alexander, ‡d 1952-
-
- 100 1 _ ‡a Leitsch, Alexander, ‡d 1952-....
4xx's: Alternate Name Forms (2)
5xx's: Related Names (3)
- 510 2 _ ‡a Technische Universität Wien ‡b Fakultät für Informatik ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Universität Wien ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 551 _ _ ‡a Wien ‡4 ortw ‡4 https://d-nb.info/standards/elementset/gnd#placeOfActivity
Works
Title | Sources |
---|---|
Automated model building | |
Automated reasoning : first international joint conference, IJCAR 2001, Siena, Italy, June 18-22, 2001 : proceedings | |
Buržuaziskā Latvija ārzemju kapitala jūgā, 1921-1929 | |
Computational logic and proof theory : 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, proceedings | |
Methods of cut-elimination | |
Preuves par induction dans le calcul de superposition | |
The resolution calculus | |
Resolution methods for the decision problem |