180 treff

matematisk logikk databehandling
Datamodellspråk : et studium av symbolske formalismer
Tore Amble
Bok Bokmål 1986 · Vis mer
Universal algebra, algebraic logic, and databases
Plotkin, B.I.
Bok Engelsk 1994 · Vis mer
Computational aspects of an order-sorted logic with term declarations
M. Schmidt-Schauss
Bok Engelsk 1989 · Vis mer
Truth, deduction, and computation : logic and semantics for computer science
R. E. Davis
Bok Engelsk 1989 · Vis mer
Discrete structures, logic, and computability
Hein, James L.
Bok Engelsk · Vis mer
A first course in formal logic and its applications in computer science
R. D. Dowsing, V. J. Rayward-Smith, C. D....
Bok Språk ikke angitt 1986 · Vis mer
Decision tables in software engineering
Richard B. Hurley
Bok Språk ikke angitt 1983 · Vis mer
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
Jan Mycielski, Grzegorz Rozenberg, Arto S...
Bok Engelsk 1997 · Vis mer
Computability : computable functions, logic, and the foundations of mathematics
Richard L. Epstein, Walter A. Carnielli
Bok Engelsk 1989 · Vis mer
Vis flere utgaver
Vis flere utgaver
Conditional inference and logic for intelligent systems : a theory of measure-free conditioning
I. R. Goodman, H. T. Nguyen, and E. A. Wa...
Bok Engelsk 1991 · Vis mer
Logic in computer science : modelling and reasoning about systems
Michael Huth, Mark Ryan
Bok Engelsk 2000 · Vis mer
Vis flere utgaver
Vis flere utgaver
Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
ASM 2000
Bok Engelsk 2000 · Vis mer
Instantiation theory : on the foundations of automated deduction
Williams, James G.
Bok Engelsk 1991 · Vis mer
Abstract state machines 2004 : advances in theory and practice : 11th international workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
ASM 2004
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Simply logical : intelligent reasoning by example
Flach, Peter A.
Bok Engelsk 1994 · Vis mer
Linear time, branching time and partial order in logics and models for concurrency : school/workshop, Noordwijkerhout, the Netherlands, May 30-June 3, 1988
J. W. de Bakker, W.-P. de Roever, G. Roze...
Bok Engelsk 1989 · Vis mer
Mathematical foundations of programming
Frank S. Beckman
Bok Engelsk 1980 · Vis mer
Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings
ASM 2003
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
Automated deduction in equational logic and cubic curves
W. McCune, R. Padmanabhan
Bok Engelsk 1996 · Vis mer
Language in action : categories, lambdas and dynamic logic
Johan van Benthem
Bok Engelsk 1991 · Vis mer
Databases and logic
Berre, Arne-Jørgen
Bok Engelsk 1989 · Vis mer
Introduction to knowledge base systems
Frost, R.A.
Bok Engelsk 1986 · Vis mer
Fork algebras in algebra, logic and computer science
Marcelo Fabián Frias
Bok Engelsk 2002 · Vis mer
Advances in contemporary logic and computer science : proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador, Bahia, Brazil
Brazilian Conference on Mathematical Logic
Bok Engelsk 1999 · Vis mer
Automata logics, and infinite games : a guide to current research
Erich Grädel, Wolfgang Thomas, Thomas Wil...
Bok Engelsk 2002 · Vis mer
Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings
C. H. Bergman, R. D. Maddux, D. L. Pigozz...
Bok Engelsk 1990 · Vis mer
Logic, programming and Prolog
Ulf Nilsson and Jan Małuszyński
Bok Engelsk 1990 · Vis mer
Vis flere utgaver
Vis flere utgaver
Mathematics for data processing
Clark, Frank James
Bok Engelsk 1974 · Vis mer
Representing plans under uncertainty : a logic of time, chance, and action
Peter Haddawy
Bok Engelsk 1994 · Vis mer