180 treff

matematisk logikk databehandling
High parallelism and an effective reasoning procedure
Gong, Zhenhe
Bok Språk ikke angitt 1986 · Vis mer
Logic and computer science
edited by Piergiorgio Odifreddi
Bok Engelsk 1990 · Vis mer
The use of data processing machines in the recognition and proof of arithmetical theorems translated into B-mathematical language
by Jostein Amlien and Nils Aall Barricell...
Bok Engelsk 1983 · Les boka på nett · Vis mer
Induction, recursion, and programming
Mitchell Wand
Bok Engelsk 1980 · Vis mer
Discrete mathematics and theoretical computer science : 4th international conference, DMTCS 2003, Dijon, France, July 7-12, 2003 : proceedings
DMTCS 2003
Bok Engelsk 2003 · Vis mer
Process algebra and probabilistic methods : performance modeling and verification : Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002 : proceedings
PAPM-PROBMIV 2002
Bok Engelsk 2002 · Vis mer
Process algebra and probabilistic methods : performance modelling and verification : joint international workshop, PAPM-PROBMIV 2001, Aachen, Germany, September 12-14, 2001 : proceedings
PAPM-PROBMIV 2001
Bok Engelsk 2001 · Vis mer
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information ESSLLI'97 workshop, Aix-en-Provence, France, August 11-22, 1997 : revised lectures
Jouko Väänänen (ed.)
Bok Engelsk 1999 · Vis mer
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
International Conference AISMC
Bok Engelsk 1996 · Vis mer
Logic and computer science : lectures given at the 1st Session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988
S. Homer ... [et al.] ; editor: P. Odifre...
Bok Språk ikke angitt 1990 · Vis mer
B-mathematics as a language
by Nils Aall Barricelli
Bok Engelsk 1982 · Vis mer
Logics in artificial intelligence : 9th European conference, JELIA 2004, Lisbon, Portugal, September 27-30, 2004 : proceedings
JELIA 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2003, Torino, Italy, April 30-May 4, 2003 : revised selected papers
TYPES 2003
Bok Engelsk 2004 · Vis mer
Computing and combinatorics : third annual international conference, COCOON '97, Shanghai, China, August 20-22, 1997 : proceedings
COCOON '97
Bok Engelsk 1997 · Vis mer
Deductive databases and logic programming
Subrata Kumar Das
Bok Engelsk 1992 · Vis mer
PX : a computational logic
Susumu Hayashi, Hiroshi Nakano
Bok Språk ikke angitt 1988 · Vis mer
Unity mathematics : a proposal for a general specification language
av Arve Meisingset
Bok Språk ikke angitt 1987 · Vis mer
Mathematical logic and programming languages
edited by C. A. R. Hoare and J. C. Shephe...
Bok Språk ikke angitt 1985 · Vis mer
Logics in artificial intelligence : 10th European conference, JELIA 2006, Liverpool, UK, September 13-15, 2006 : proceedings
JELIA 2006
Bok Engelsk 2006 · Vis mer
Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers
TYPES 2004
Bok Engelsk 2006 · Vis mer
Logical aspects of computational linguistics : 5th international conference, LACL 2005, Bordeaux, France, April 28-30, 2005 : proceedings
LACL 2005
Bok Engelsk 2005 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2002, Berg en Dal, the Netherlands, April 24-28, 2002 : selected papers
TYPES 2002
Bok Engelsk 2003 · Vis mer
Logics in artificial intelligence : 8th European conference, JELIA 2002, Cosenza, Italy, September 23-26, 2002 : proceedings
JELIA 2002
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Types for proofs and programs : international workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers
TYPES 2000
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Logical aspects of computational linguistics : 4th international conference, LACL 2001, Le Croisic, France, June 27-29, 2001 : proceedings
LACL 2001
Bok Engelsk 2001 · Vis mer
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
PTCS 2001
Bok Engelsk 2001 · Vis mer
Logics in artificial intelligence : European workshop, JELIA 2000, Málaga, Spain, September 29-October 2, 2000 : proceedings
European Workshop JELIA
Bok Engelsk 2000 · Vis mer
Nonmonotonic logics : basic concepts, results, and techniques
Schlechta, Karl
Bok Engelsk 1997 · Vis mer
Solving the frame problem : a mathematical investigation of the common sense law of inertia
Murray Shanahan
Bok Engelsk 1997 · Vis mer
Logic programming : an introduction with NTH-PROLOG
Tore Amble
Bok Engelsk 1984 · Vis mer