Showing 1 - 20
of 57
for search: 'languages OR literature OR "mass communication"',
query time: 0.46s
In Prospector
Request items from other Prospector libraries to be delivered to your local library for pickup.Narrow Search
Institution
Collection
Format
Subject
Logic, Symbolic and mathematical
29
Computer science
28
Formal languages
25
Artificial intelligence
23
Software engineering
17
Programming languages (Electronic computers)
more ...
15
Computer logic
9
Language and logic
8
Computer programming
7
Computer software Verification
6
Formal methods (Computer science)
4
Computer science Mathematics
4
Electronic data processing
3
Algorithms
3
Computer networks
3
Computer security
3
Computer simulation
3
Data structures (Computer science)
3
Database management
3
Logic
3
Uncertainty (Information theory)
2
Computer programs Verification
2
Data protection
2
Functional programming (Computer science)
2
Logic programming
2
Machine learning
2
Machine theory
2
Mathematics
1
Application software
1
Artificial intelligence Mathematical models
see all ...
less ...
Author
SpringerLink (Online service)
8
Workshop on Logic, Language, Information and Computation
7
Queiroz, Ruy J. G. B. de,
3
International Colloquium on Grammatical Inference
2
International Haifa Verification Conference
2
International Haifa Verification Conference Haifa, Israel)
more ...
2
Legay, Axel,
2
Moss, Lawrence Stuart, 1959-
2
Méry, Dominique,
2
Suzuki, Joe,
2
Voronkov, Andrei, 1959-
1
ABZ (Conference)
1
ABZ (Conference) Ulm, Germany)
1
ATVA (Symposium)
1
ATVA (Symposium) Chiba, Japan)
1
Abate, Alessandro,
1
Abdelwahed, El Hassan,
1
Achten, Peter, 1967-
1
Aguiló, Isabel,
1
Ahrendt, Wolfgang,
1
Arbel, Eli,
1
Artho, Cyrille,
1
Bansal, Nikhil,
1
Barceló, Pablo,
1
Beckert, Bernhard,
1
Bellatreche, Ladjel, 1968-
1
Bjørner, D. 1937-
1
Bloem, Roderick P.,
1
Bubel, Richard,
1
Butler, Michael, 1967-
see all ...
less ...
Language
Genre
Literary Form
Era
Call Number
Year of Publication