Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
| Corporate Author: | Workshop on Logic, Language, Information and Computation |
|---|---|
| Other Authors: | Leivant, Daniel Maurice Raphaël, Queiroz, Ruy J. G. B. de |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2007]
|
| Series: | Lecture notes in computer science.
4576. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Logic, language, information, and computation : 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007 : proceedings /
Published: (2007)
Published: (2007)
Logic, language, information and computation : 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, proceedings /
Published: (2011)
Published: (2011)
Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
Published: (2008)
Published: (2008)
Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
Published: (2009)
Published: (2009)
Logic for computer scientists /
by: Schöning, Uwe, 1955-
Published: (1989)
by: Schöning, Uwe, 1955-
Published: (1989)
Language, logic, and mathematics /
by: Kilmister, C. W. (Clive William)
Published: (1967)
by: Kilmister, C. W. (Clive William)
Published: (1967)
Logic, construction, computation /
Published: (2012)
Published: (2012)
Logic for information technology /
by: Galton, Antony
Published: (1990)
by: Galton, Antony
Published: (1990)
Mathematical logic for computer science /
by: Ben-Ari, M., 1948-
Published: (2001)
by: Ben-Ari, M., 1948-
Published: (2001)
Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)
Published: (2006)
Computation, logic, philosophy : a collection of essays /
by: Wang, Hao, 1921-
Published: (1990)
by: Wang, Hao, 1921-
Published: (1990)
Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)
Published: (2004)
Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)
Published: (2005)
Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)
Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)
Language, truth, and logic in mathematics /
by: Hintikka, Jaakko, 1929-2015
Published: (1998)
by: Hintikka, Jaakko, 1929-2015
Published: (1998)
Logic and algorithms : with applications to the computer and information sciences /
by: Korfhage, Robert R.
Published: (1966)
by: Korfhage, Robert R.
Published: (1966)
Computability and logic /
by: Boolos, George
Published: (1980)
by: Boolos, George
Published: (1980)
Computability and logic.
by: Boolos, George
Published: (2007)
by: Boolos, George
Published: (2007)
Computability and logic.
by: Boolos, George
Published: (2002)
by: Boolos, George
Published: (2002)
Mathematical logic : foundations for information science /
by: Li, Wei, 1943 June-
Published: (2010)
by: Li, Wei, 1943 June-
Published: (2010)
Combinatory logic /
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)
Contributions to mathematical logic. : Proceedings of the Logic Colloquium, Hannover 1966 /
Published: (1968)
Published: (1968)
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July l973 /
Published: (1975)
Published: (1975)
Logic, computers, and sets.
by: Wang, Hao
Published: (1970)
by: Wang, Hao
Published: (1970)
Computability, complexity, logic /
by: Börger, E. (Egon), 1946-
Published: (1989)
by: Börger, E. (Egon), 1946-
Published: (1989)
Logic and computer science /
Published: (1990)
Published: (1990)
Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2008)
by: Dalen, D. van (Dirk), 1932-
Published: (2008)
Logic of mathematics : a modern course of classical logic /
by: Adamowicz, Zofia
Published: (1997)
by: Adamowicz, Zofia
Published: (1997)
Mathematical logic /
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1994)
Logic for mathematicians /
by: Hamilton, A. G., 1943-
Published: (1978)
by: Hamilton, A. G., 1943-
Published: (1978)
Mathematical logic.
by: Ponasse, Daniel
Published: (1973)
by: Ponasse, Daniel
Published: (1973)