*sublabel_EDS*
*license_notice_EDS_guest_loggedout*
*Login*
*custom_text_above_search_result**custom_text_above_search_result_EDS*
*Showing* 1 - 20
*of* 768
*custom_text_below_search_result*
*Refine Results*
*Limiter*
*Expander*
*Format*
*Published in*
zeitschrift fur mathematische logik und grundlagen der mathematik
34
government-report
12
tema technik und management
12
infodata informationswissenschaften
11
informatik-fachberichte
11
lecture notes in computer science
11
*more* ...
arbeitspapiere der gmd (gesellschaft fuer mathematik und datenverarbeitung)
5
elektronik industrie
5
iwbs-report
5
design und elektronik
4
information and computation
4
informationstechnik, computer, systeme, anwendungen
4
international journal of clinical monitoring and computing
4
z. math. log. grundl. math. (east germany)
4
archiv fur mathematische logik und grundlagenforschung
3
filozofski vestnik; vol. 20 no. 2 (1999): xivth international congress of aesthetics, "aesthetics as philosophy", proceedings, part i ; filozofski vestnik; letn. 20 st. 2 (1999): xivth international congress of aesthetics, "aesthetics as philosophy", proceedings, part i
3
linguistische berichte
3
bulletin de la commission interuniversitaire suisse de linguistique appliquee
2
columbia electronic encyclopedia, 6th edition
2
dialectica
2
european journal of scandinavian studies
2
historiographia linguistica
2
informationen zur deutschdidaktik
2
materialien deutsch als fremdsprache. 33.
2
mitteilungen der dmv
2
unterrichtswissenschaft
2
wirkendes wort
2
zeitschrift fur didaktik der gesellschaftswissenschaften
2
ceska literatura
1
die musikforschung
1
*less* ...
*SubjectEDS*
syntax
461
semantik
310
mathematische logik
218
programmiersprache
133
logik
114
formale sprache
102
*more* ...
kuenstliche intelligenz
99
problemorientierte programmiersprache
96
informatik
82
praedikatenlogik
80
programmierung
79
expertensystem
77
prolog (programmiersprache)
72
grammatik
70
algorithmus
68
mathematischer beweis
63
datenbank
60
mathematisches modell
58
algebra
53
parallelverarbeitung
53
datenstruktur
45
programmiertheorie
45
automatentheorie
41
programmiergrundlage
41
software-engineering
40
sprache
40
sprachverarbeitung
39
compiler-programm
38
logikprogrammierung
38
implementierung
36
*less* ...
*Publisher*
wti-frankfurt-digital gmbh
122
springer
30
springer berlin heidelberg
14
de gruyter
11
technical university of munich
8
technische universitat dresden
6
*more* ...
technische universitat munchen
6
universitat des saarlandes
5
deu
4
vieweg+teubner verlag
4
vs verl. fur sozialwiss.
4
vs verlag fur sozialwissenschaften
4
wiesbaden
4
technische universitat berlin
3
vittorio klostermann
3
wiley
3
zenodo
3
zrc sazu, zalozba zrc
3
ccsd
2
columbia university press
2
deutscher verlag der wissenschaften (dvw)
2
hal ccsd
2
john benjamins publishing co.
2
kotikielen seura
2
max niemeyer verlag
2
museum of slavonia osijek
2
universitat ulm
2
verlag karl alber
2
walter de gruyter gmbh
2
akademie verlag
1
*less* ...
*Language*
*Category*
philosophy / logic
4
computers / languages / c#
1
computers / programming / compilers
1
computers / programming / general
1
computers / software development & engineering / general
1
literary criticism / reference
1
*more* ...
performing arts / theater / history & criticism
1
philosophy / general
1
philosophy / language
1
philosophy / reference
1
*less* ...
*Collection*
Scidok - Der Wissenschaftsserver Der Uds (Universitat Des Saarlandes)
4
Tu Wien: Repositum
3
Munich University Of Technology (Tum): Mediatum
2
Archive Ouverte Hal (Hyper Article En Ligne, Ccsd - Centre Pour La Communication Scientifique Directe)
1
Citeseerx
1
Dresden University Of Technology: Qucosa
1
*more* ...
Federation Of Finnish Learned Societies: Scientific Journals Online
1
Hochschule Fur Technik Rapperswil: Hsr - Institutional Repository
1
Hrcak - Portal Of Scientific Journals Of Croatia / Portal Znanstvenih Casopisa Republike Hrvatske
1
Institut Fur Deutsche Sprache: Publikationsserver
1
Kyoto University Research Information Repository (Kurenai) / 京都大学学術情報リポジトリ
1
Omp Ruhr-Universitat Bochum (Rub)
1
Oparu (Open Access Repository Of Ulm University)
1
Opus - Publication Server Of The University Of Stuttgart
1
Passau University: Opus
1
Pedocs Document Server (German Education Portal / Dipf)
1
Portail Hal De L'universite Lumiere Lyon 2
1
Project Euclid (Cornell University Library)
1
Publication Server Of Greifswald University
1
Publikationsserver Der Fachhochschule Potsdam (Fh;P)
1
Ssoar - Social Science Open Access Repository
1
Tu Berlin: Deposit Once
1
Universitat Leipzig: Qucosa
1
Universite De Lyon: Hal
1
University Of Kaiserslautern (Tu): Kluedo - Kaiserslauterer Uniweiter Elektronischer Dokumentenserver
1
University Of Konstanz: Konstanz Online Publication Server (Kops)
1
University Of Potsdam: Publish.Up
1
University Of Vienna: E-Theses
1
Wiley Online Library (Open Access Articles Via Crossref)
1
Zenodo
1
*less* ...
*SourceEDS*
TEMA
362
wiso
143
BASE
65
OpenAIRE
65
MathSciNet via EBSCOhost
31
Philosopher's Index
19
*more* ...
FIS Bildung Literaturdatenbank (German Education Index)
16
OAIster
16
eBook Index
9
JSTOR Journals
9
MLA International Bibliography
7
BLLDB (Bibliography of Linguistic Lit/Bibliographie Linguistischer Lit)
6
Inspec
5
Europeana
5
Complementary Index
4
Academic Search Index
4
SSOAR – Social Science Open Access Repository
2
*less* ...
*adv_search_year*
*Filter*