Menü schließen
Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens Autonome Region Sardiniens
Sardinienregion
Folge uns auf
Suchen Suche auf der Website

Suchergebnisse

Suchergebnisse

Ergebnisse: 1-12 von 2185209

Forschung bearbeiten

Aktive Filter:

Simili a: From logic design to logic programming : theorem proving techniques and P-functions
Kategorie: Testo
First-order logic and automated theorem proving
Testo
First-order logic and automated theorem proving

Fitting, Melvin

Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory
Testo
Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic and probability theory

Hailperin, Theodore

Programming language implementation and logic programming : international workshop PLILP '90
Testo
Programming language implementation and logic programming : international workshop PLILP '90

International workshop on programming language implementation and logic programming <2. ; 1990

Temporal logic : from ancient ideas to artificial intelligence
Testo
Temporal logic : from ancient ideas to artificial intelligence

hrstrøm, Peter

Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988
Testo
Programming languages implementation and logic programming : International workshop PLILP '88, Orleans, France, May 16-18, 1988

International workshop PLILP <1. ; 1988

Foundations of equational logic programming
Testo
Foundations of equational logic programming

Holldobler, Steffen

Interactive relational database design : a logic programming implementation
Testo
Interactive relational database design : a logic programming implementation

Bagchi, Tapan Prasad

Foundations of logic programming
Testo
Foundations of logic programming

Lloyd, John Wylie

Inductive logic programming : from machine learning to software engineering
Testo
Inductive logic programming : from machine learning to software engineering

Bergadano, Francesco <1963- >

Logic and ethics
Testo
Logic and ethics
Legal logic programming techniques
Testo
Legal logic programming techniques

Karpf, Jorgen

1 2 3

Filter Ergebnisse

Schließen

Fächer

Indietro Avanti