29 treff

logisk databehandling
Logic programming and nonmonotonic reasoning : 4th international conference, LPNMR '97, Dagstuhl Castle, Germany, July 28-31, 1997 : proceedings
International Conference on Logic Programming and Non-monotonic Reasoning
Bok Engelsk 1997 · Vis mer
Logic and computer design fundamentals
M. Morris Mano, Charles R. Kime
Bok Engelsk 1997 · Vis mer
Vis flere utgaver
Vis flere utgaver
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
Rewriting techniques and applications : 10th international conference, RTA-99, Trento, Italy, July 2-4, 1999 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1999 · Vis mer
Rewriting techniques and applications : 9th international conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1998 · Vis mer
Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1996 · Vis mer
Rewriting techniques and applications : 6th international conference, RTA-95, Kaiserslautern, Germany, April 5-7, 1995 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1995 · Vis mer
Computer algebra and geometric algebra with applications : 6th international workshop, IWMM 2004, Shanghai, China, May 19-21, 2004 and international workshop, GIAE 2004, Xian, China, May 24-28, 2004 : revised selected papers
IWMM 2004
Bok Engelsk 2005 · Vis mer
Rewriting techniques and applications : 8th international conference, RTA-97, Sitges, Spain, June 2-5, 1997 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1997 · Vis mer
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers
HOA '95
Bok Engelsk 1996 · Vis mer
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1989 · Vis mer
Logic, algebra, and computer science : Helena Rasiowa in memoriam
editors of the volume: Damian Niwiński, ...
Bok Engelsk 1999 · Vis mer
Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1993 · Vis mer
Rewriting techniques and applications : 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1991 · Vis mer
Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987 : proceedings
International Conference on Rewriting Techniques and Applications
Bok Engelsk 1987 · Vis mer
Rewriting techniques and applications : Dijon, France, May 20-22, 1985
International Conference on Rewriting Techniques and Applications
Bok Språk ikke angitt 1985 · Vis mer
KI-94 : advances in artificial intelligence : 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994 : proceedings
German Conference on Artificial Intelligence
Bok Engelsk 1994 · Vis mer
Natural language understanding and logic programming, III : proceedings of the Third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 January, 1991
International Workshop on Natural Language Understanding and Logic Programming
Bok Engelsk 1991 · Vis mer
Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
HOA '93
Bok Engelsk 1994 · Vis mer
Foundations of inductive logic programming
Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
Bok Engelsk 1997 · Vis mer
Non-monotonic extensions of logic programming : second International Workshop, NMELP '96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
NMELP '96
Bok Engelsk 1997 · Vis mer
Nonmonotonic reasoning
Grigoris Antoniou ; with contributions by...
Bok Engelsk 1997 · Vis mer
Term rewriting : French Spring School of Theoretical Computer Science, Font Romeux [i.e. Romeu], France, May 17-21, 1993 : advanced course
French Spring School of Theoretical Computer Science
Bok Engelsk 1995 · Vis mer
Efficient processing with constraint-logic grammars using grammar compilation
Guido Minnen
Bok Engelsk 2001 · Vis mer
Resolution methods for the decision problem
C. Fermüller ... [et al.]
Bok Engelsk 1993 · Vis mer
Abductive inference : computation, philosophy, technology
edited by John R. Josephson, Susan G. Jos...
Bok Engelsk 1994 · Vis mer
Computer aided logical design with emphasis on VLSI
Frederick J. Hill, Gerald R. Peterson
Bok Engelsk 1993 · 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