Suggested Topics... within your search.
Logics And Meanings Of Programs 10
Representación Del Conocimiento, Métodos, Formas Y Scripts 9
Lenguajes De Programación 7
Logic Programming 7
Programming Languages 7
Knowledge Representation Formalisms And Methods Frames And Scripts 5
Grammars And Other Rewriting Systems 4
Gramáticas Y Otros Sistemas De Reescritura 4
Programación Automática 4
Semántica De Lenguajes De Programación 4
Special-Purpose And Application-Based Systems 4
Algebraic Manipulation 3
Analysis Of Algorithms And Problem Complexity 3
Análisis De Algoritmos Y Problemas De Complejidad 3
Artificial Intelligence 3
Showing 1 - 20
of 38
for search: '(("popular science") OR ("computer science"))',
query time: 0.30s
Search Tools:
Get RSS Feed
—
Narrow Search
Remove Filters
Suggested Topics: Deducción Y Prueba De Teoremas
Institution
Collection
Format
Author
2
CADE
2
Freuder, Eugene,
2
Meinke, Karl,
1
ALT ’96 Sydney)
1
Alagar, Vangalur S., 1940-
1
Alferes, José Júlio, 1966-
more ...
1
Alur, Rajeev, 1966-
1
Arikawa, Setsuo, 1941-
1
Asian Computing Science Conference Pathumthani, Thailand)
1
Ball, Thomas, 1965-
1
Ben-David, Shai
1
Berardi, Stefano
1
Bezem, Marc 1956-
1
Börger, Egon, 1946-
1
Büning, Hans Kleine,
1
CAV (Conference) Haifa, Israel)
1
CAV (Conference) New Brunswick, N.J.)
1
CAV (Conference) Seattle, Wash.)
1
CP (Conference) Cambridge, MA)
1
Calmet, Jacques, 1941-,
1
Camilleri, Juanito,
1
Comon, Hubert,
1
Conference on Foundations of Software Technology and Theoretical Computer Science Bangalore, India)
1
Coppo, Mario, 1947-
1
Dalen, Dirk, 1932-
1
Dix, Jürgen, 1961-
1
Dors, Leo, 1958-
1
Dortmunder Fuzzy-Tage Dortmund, Germany)
1
Dyckhoff, Roy, 1948-
1
ELP '96 Leipzig, Germany)
see all ...
less ...
Language
Year of Publication