24 treff

formal logikk
Formale Logik
Bocheński, J.M.
Bok Tysk 1956 · Vis mer
Formal logic
by A.N. Prior
Bok Engelsk 1955 · 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
Logik med tillämpningar
Torkel Franzén
Bok Svensk 2002 · Vis mer
A theory of formal deducibility
Curry, Haskell B.
Bok Språk ikke angitt 1957 · Vis mer
A Theory of Formal Deducibility

Bok Engelsk · Vis mer
An introduction to formal languages and automata
Peter Linz
Bok Engelsk 2001 · Vis mer
Formal methods and software engineering : 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, 2004 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2004 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2006 · Vis mer
Formal methods and software engineering : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2005 · Vis mer
Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2003 · Vis mer
Vis flere utgaver
Vis flere utgaver
Formal methods and software engineering : 4th International Conference on Formal Engineering Methods, ICFEM 2002, Shanghai, China, October 21-25, 2002 : proceedings
International Conference on Formal Engineering Methods
Bok Engelsk 2002 · Vis mer
Vis flere utgaver
Vis flere utgaver
Applied formal methods - FM-Trends 98 : International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany, October 7-9, 1998 : proceedings
International Workshop on Current Trends in Applied FormalMethods
Bok Engelsk 1999 · Vis mer
FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 2.
World Congress on Formal Methods in the Development of Computing Systems (1 : 1999 Toulouse)
Bok Engelsk 1999 · Vis mer
Vis flere utgaver
Vis flere utgaver
FM'99 - formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings. Vol. 1.
World Congress on Formal Methods in the Development of Computing Systems (1 : 1999 Toulouse)
Bok Engelsk 1999 · Vis mer
Dynamic logic
David Harel, Dexter Kozen, Jerzy Tiuryn
Bok Engelsk 2000 · Vis mer
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings
International SPIN Workshop
Bok Engelsk 1999 · Vis mer
Problem solving in automata, languages, and complexity
Du, Dingzhu
Bok Engelsk 2001 · Vis mer
Implication, endometry, universe of discourse = : Implicazione, endometria, universo del discorso
by Franco Spisani
Bok Italiensk 1977 · Vis mer
Introduction to languages, machines, and logic : computable languages, abstract machines and formal logic
Alan P. Parkes
Bok Engelsk 2002 · Vis mer
The essence of logic
John J. Kelly
Bok Engelsk 1997 · Vis mer
Grammatical inference and applications : second international colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
ICGI-94
Bok Engelsk 1994 · Vis mer
Selected papers on Automath
edited by R.P. Nederpelt ... [et al.]
Bok Engelsk 1994 · Vis mer