21 treff

matematisk logikk databehandling matematikk
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
Mathematics for data processing
Clark, Frank James
Bok Engelsk 1974 · 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
PX : a computational logic
Susumu Hayashi, Hiroshi Nakano
Bok Språk ikke angitt 1988 · 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
Edinburgh LCF : a mechanised logic of computation
Gordon, Michael J. C.
Bok Språk ikke angitt 1979 · Vis mer
Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1998 · Vis mer
Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1996 · Vis mer
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2000 · Vis mer
Elements of the theory of computation
Harry R. Lewis, Christos H. Papadimitriou...
Bok Engelsk 1981 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2005 · Vis mer
Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1999 · Vis mer
Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
The resolution calculus
Alexander Leitsch
Bok Engelsk 1997 · Vis mer
Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1994 · Vis mer
Deduction : automated logic
by Wolfgang Bibel with the assistance of ...
Bok Engelsk 1993 · Vis mer
Termination proofs for logic programs
Lutz Plümer
Bok Engelsk 1990 · Vis mer
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings
Workshop on Computer Science Logic
Bok Engelsk 1989 · Vis mer