De Swart, Harrie 1944-
Born: | 1944 |
---|---|
Other Names: |
|
Occupation: | Information scientist |
Corporate Relations: | Erasmus Universiteit. Faculty of Philosophy (Rotterdam) |
Geographical Relations: | Country: Netherlands (XA-NL) |
Biographical References: | GND (120024691) LoC-NA ORCID (0000-0001-6172-676X) Wikidata (Q1844148) |
Subsystems: | Index Theologicus |
Newest Titles (by)
- Logic: mathematics, language, computer science, and philosophy
- Logic / 1 Logic: mathematics, language and philosophy
Popular keywords
Publication Timeline
Details
- De Swart, H.
- De Swart, H. C. M.
- De Swart, H.C.M.
- De Swart, Henricus C. M.
- De Swart, Henricus Cornelius Maria
- Swart, H. de
- Swart, Harrie de
- Swart, Henricus C. M. de
- Swart, Henricus Cornelius Maria de
MARC
LEADER | 00000cz a2200000n 4500 | ||
---|---|---|---|
001 | 080393004 | ||
003 | DE-627 | ||
005 | 202310111016.3 | ||
008 | 120419n||aznnnabbn | aaa |c | ||
024 | 7 | |a Q1844148 |2 wikidata |9 PipeLineGenerated | |
024 | 7 | |a http://d-nb.info/gnd/120024691 |2 uri | |
024 | 7 | |a 0000-0001-6172-676X |2 orcid |9 v:cg001 | |
035 | |a (DE-588)120024691 | ||
035 | |a (DE-627)080393004 | ||
035 | |a (DE-576)185924247 | ||
035 | |z (DE-588a)120024691 |9 v:zg | ||
043 | |c XA-NL | ||
079 | |a g |b p |c v |q f |v piz | ||
100 | 1 | |a De Swart, Harrie |d 1944- | |
375 | |a 1 |2 iso5218 | ||
400 | 1 | |a Swart, Henricus C. M. de |d 1944- | |
400 | 1 | |a Swart, H. de |d 1944- | |
400 | 1 | |a Swart, Henricus Cornelius Maria de |d 1944- | |
400 | 1 | |a De Swart, Henricus Cornelius Maria |d 1944- | |
400 | 1 | |a De Swart, H.C.M. |d 1944- | |
400 | 1 | |a De Swart, H. |d 1944- | |
400 | 1 | |a Swart, Harrie de |d 1944- | |
400 | 1 | |a De Swart, H. C. M. |d 1944- | |
400 | 1 | |a De Swart, Henricus C. M. |d 1944- | |
510 | 2 | |a Erasmus Universiteit |g Rotterdam |b Faculty of Philosophy |4 affi |w r |i Affiliation |e Affiliation | |
548 | |a 1944- |4 datl |w r |i Lebensdaten | ||
550 | |a Prof. Dr. |4 akad |w r |i Akademischer Grad | ||
550 | |0 (DE-627)105635685 |0 (DE-576)209694017 |0 (DE-588)4139395-8 |a Informatiker |4 berc |w r |i Charakteristischer Beruf | ||
667 | |a MMm | ||
670 | |a LoC-NA | ||
678 | |b Dozent an der Univ. Tilburg (1998); Niederländ. Informatiker | ||
678 | |b Informatiker | ||
678 | |b Vollständiger Vorname: Henricus Cornelius Maria de | ||
692 | |a Intuitionistic logic in intuitionistic metamathematics. - 1976 | ||
692 | |a Hrsg. von: Automated reasoning with analytic tableaux and related methods. - 1998 | ||
692 | |a Logic. - 1993-1994 | ||
700 | 1 | |a Swart, H. C. M. de | |
ORI | |a sekkor-aut.mrc | ||
SUB | |a IXT |b 3 | ||
SUB | |a REL |b 1 | ||
TIT | |a ixtheo |a relbib |