351 treff

logikkprogrammering
Logikk, Prolog og Parlog
Terje Kristensen
Bok Bokmål 1992 · Les boka på nett · Vis mer
Kompendium i fag 45110, Symbolbehandling
Øystein Nytrø og Arild Waaler
Bok Bokmål 1988 · Vis mer
Språkteknologi : en logikkbasert tilnærming
Terje Kristensen
Bok Bokmål 2003 · Vis mer
Språkteknologi : en logikkbasert tilnærming
Terje Kristensen
Bok Bokmål 2003 · Vis mer
En introduksjon til lambdakalkyle
Arild Waaler
Bok Bokmål 1988 · Vis mer
Loop checking in logic programming
R.N. Bol
Bok Engelsk 1995 · Vis mer
Programmation et langages symboliques
Krinickij, N.A.
Bok Fransk 1978 · Vis mer
Parallel execution of Parlog
A. Cheese
Bok Engelsk 1992 · Vis mer
Program development in computational logic : a decade of research advances in logic-based program development
Maurice Bruynooghe, Kung-Kiu Lau (eds.)
Bok Engelsk 2004 · Vis mer
A grammatical view of logic programming
Deransart, P.
Bok Engelsk 1993 · Vis mer
Programming language pragmatics
Michael L. Scott
Bok Engelsk 2009 · Vis mer
Vis flere utgaver
Vis flere utgaver
Finite transition systems : semantics of communicating systems
Arnold, A.
Bok Engelsk 1994 · Vis mer
Conclog : a methodological approach to concurrent logic programming
J.-M. Jacquet
Bok Engelsk 1991 · Vis mer
Constraint logic programming using Eclipse
Krzysztof R. Apt and Mark Wallace
Bok Engelsk 2007 · Vis mer
Agent-oriented programming : from Prolog to guarded definite clauses
Matthew M. Huntbach, Graem A. Ringwood
Bok Engelsk 1999 · Vis mer
Principles of constraint programming
Krzysztof R. Apt
Bok Engelsk 2003 · Vis mer
The clausal theory of types
Wolfram, D. A.
Bok Engelsk 1993 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 4. Epistemic and temporal reasoning
volume coordinator: Antony Galton
Bok Engelsk 1995 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 5. Logic programming

Bok Engelsk 1998 · Vis mer
Logic programming in action : Second International Logic Programming Summer School, LPSS '92 Zürich, Switzerland, September 7-11, 1992 : proceedings
International Logic Programming Summer School
Bok Engelsk 1992 · Vis mer
Logic and objects
Francis G. McCabe
Bok Engelsk 1992 · Vis mer
Isabelle/HOL : a proof assistant for higher-order logic
Tobias Nipkow, Lawrence C. Paulson, Marku...
Bok Engelsk 2002 · Vis mer
Handbook of logic in computer science. 4. Semantic modelling

Bok Engelsk 1995 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 1. Logical foundations
volume co-ordinator: J. Siekmann
Bok Engelsk 1993 · Vis mer
Executing temporal logic programs
B. E. Moszkowski
Bok Språk ikke angitt 1986 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 2. Deduction methodologies
volume co-ordinator: J. Siekmann
Bok Engelsk 1994 · Vis mer
Handbook of logic in artificial intelligence and logic programming. Vol. 3. Nonmonotonic reasoning and uncertain reasoning
volume co-ordinator D. Nute
Bok Engelsk 1994 · Vis mer
Learning language in logic
James Cussens, Sašo Džeroski (eds.)
Bok Engelsk 2000 · Vis mer
Types in logic programming
edited by Frank Pfenning
Bok Engelsk 1992 · Vis mer
Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions
Yves Bertot, Pierre Castéran ; foreword b...
Bok Engelsk 2004 · Vis mer