Toggle navigation
Campus Access
About MPG.eBooks
Skip to content
Search Tips
Home
>
Search: formal languages and automated theory
Language
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
All Fields
Title
Person
Topic
ISBN/ISSN
Year
Collection
Advanced
Search alternatives
:
automated theory »
automated theorem
,
automata theory
,
automatic theorem
languages »
language
Showing
801
-
806
of
806
Search:
'formal languages and automated theory'
,
query time: 0.25s
Book List
0
Sort:
Relevance
Year Descending
Year Ascending
Author
Title
Read Now
801
Technologies for Interactive Digital Storytelling and Entertainment : Second International Conference, TIDSE 2004, Darmstadt, Germany, June 24-26, 2004, Proceedings
Published 2004
Springer Berlin Heidelberg
Table of Contents:
“
...
Language
Understanding in Façade: Surface-Text Processing -- Stepping into the Interactive Drama -- From...
”
Read Now
802
The Semantic Web – ASWC 2006 : First Asian Semantic Web Conference, Beijing, China, September 3-7, 2006, Proceedings
Published 2006
Springer Berlin Heidelberg
Table of Contents:
“
... Algorithm -- Ontology and
Theory
-- Modular Ontologies – A
Formal
Investigation of Semantics...
”
Read Now
803
Advances in Information Retrieval : 37th European Conference on IR Research, ECIR 2015, Vienna, Austria, March 29 - April 2, 2015. Proceedings
Published 2015
Springer International Publishing
Table of Contents:
“
... Retrievability -- A
Formal
Approach to Effectiveness Metrics for Information Access: Retrieval, Filtering...
”
Read Now
804
Intelligent Information and Database Systems : 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I
Published 2015
Springer International Publishing
Table of Contents:
“
... Contraction by Predicate Abstraction in
Automated
Theorem Finding: A Case Study in NBG Set
Theory
-- Mining...
”
Read Now
805
The Semantic Web: Research and Applications : 7th European Semantic Web Conference, ESWC 2010, Heraklion, Crete, Greece, May 30 - June 3, 2010, Proceedings, Part II
Published 2010
Springer Berlin Heidelberg
Table of Contents:
“
...Towards Trust in Web Content Using Semantic Web Technologies -- The Semantic Gap of
Formalized
...
”
Read Now
806
Advances in computers, Volume 112
Published 2019
Academic Press is an imprint of Elsevier
Table of Contents:
“
.... Programming
Language
and Mutant Operators -- 9.3. Subsumed Mutant Threat -- 9.4. Test Suite Strength and Size...
”
Call Number:
QA76
31
32
33
34
35
36
37
38
39
40
41
Back
Narrow Search
Year of Publication
From:
To:
Classification
006 - Special computer methods
273
005 - Computer programming, programs & data
247
004 - Data processing & computer science
170
003 - Systems
24
511 - General principles of mathematics
21
621 - Applied physics
14
more ...
629 - Other branches of engineering
14
025 - Library operations
11
670 - Manufacturing
10
518 - Numerical analysis
8
519 - Probabilities & applied mathematics
6
620 - Engineering & allied operations
5
500 - Natural sciences & mathematics
4
510 - Mathematics
4
658 - General management
3
000 - Computer science, information & general works
2
330 - Economics
2
516 - Geometry
2
570 - Life sciences; biology
2
650 - Management & auxiliary services
2
070 - News media, journalism & publishing
1
100 - Philosophy & psychology
1
153 - Mental processes & intelligence
1
160 - Logic
1
300 - Social sciences
1
371 - Schools & their activities; special education
1
410 - Linguistics
1
418 - Standard usage & applied linguistics
1
512 - Algebra
1
515 - Analysis
1
601 - Philosophy & theory
1
686 - Printing & related activities
1
see all ...
less ...
Language
English
802
German
4
Collection
Springer eBooks 2005-
463
Springer Book Archives -2004
332
O'Reilly
10
MIT Press eBook Archive
1
Author
Voronkov, Andrei
19
Margaria, Tiziana
11
Peters, James F.
11
Steffen, Bernhard
10
Nerode, Anil
8
Perner, Petra
7
more ...
Ehrig, Hartmut
6
Skowron, Andrzej
6
Artemov, Sergei
5
Hähnle, Reiner
5
Rozenberg, Grzegorz
5
Wang, Dongming
5
Benzmüller, Christoph
4
Furbach, Ulrich
4
Legay, Axel
4
Ras, Zbigniew W.
4
Rudolph, Sebastian
4
Wang, Guoyin
4
Baier, Christel
3
Baumgartner, Peter
3
Bibel, Wolfgang
3
Bjørner, Nikolaj
3
Comon, Hubert
3
Davenport, James H.
3
Dershowitz, Nachum
3
Fitting, Melvin
3
Gabbay, Dov M.
3
Galmiche, Didier
3
Ganzinger, Harald
3
Giunchiglia, Fausto
3
Goertzel, Ben
3
Harrison, John
3
Huang, De-Shuang
3
Jouannaud, Jean-Pierre
3
Kaufmann, Matt
3
Kirchner, Claude
3
Konev, Boris
3
Kroening, Daniel
3
Kuznetsov, Sergei O.
3
Leake, David
3
Liu, Zhiming
3
Maler, Oded
3
Möller, Bernhard
3
Nagl, Manfred
3
Nipkow, Tobias
3
Nivat, Maurice
3
Petrosino, Alfredo
3
Pfenning, Frank
3
Platzer, André
3
Podelski, Andreas
3
Reed, Rick
3
Rosu, Grigore
3
Sattler, Uli
3
Schmidt, Renate A.
3
Schürr, Andy
3
Sofronie-Stokkermans, Viorica
3
Tinelli, Cesare
3
Vanderdonckt, Jean
3
Wirsing, Martin
3
Yao, JingTao
3
Yao, Yiyu
3
Ölveczky, Peter Csaba
3
Ali, Moonis
2
Alla, Hassane
2
Anderson, Michael
2
Antoniou, Grigoris
2
Artho, Cyrille
2
Ayala-Rincón, Mauricio
2
Baader, Franz
2
Bae, Kyungmin
2
Barolli, Leonard
2
Basin, David
2
Beckert, Bernhard
2
Berghammer, Rudolf
2
Biere, Armin
2
Bonacina, Maria Paola
2
Botana, Francisco
2
Brauer, Wilfried
2
Buchberger, Bruno
2
Börger, Egon
2
Cabibihan, John-John
2
Calmet, Jacques
2
Campbell, John A.
2
Campbell, Stephen L.
2
Cantone, Domenico
2
Cavalcanti, Ana
2
Chakraborty, Mihir
2
Champarnaud, Jean-Marc
2
Chancelier, Jean-Philippe
2
Clarke, Edmund M.
2
Cook, Byron
2
Croitoru, Madalina
2
Dams, Dennis
2
David, René
2
Di Gesù, Vito
2
Dori, Dov
2
Dowek, Gilles
2
Eder, Johann
2
Engels, Gregor
2
Esparza, Javier
2
see all ...
less ...
Search Tools
Get RSS Feed
Share Search
https://ebooks.mpdl.mpg.de/ebooks/Search/Results?page=41&lookfor=formal+languages+and+automated+theory&type=AllFields
Send by Email
×
Loading...