Search Sciweavers | Sciweavers

4737 search results - page 160 / 948

» The LOGIC negotiation model

click to vote

IFIP
1994
Springer

121views Programming Languages» more IFIP 1994»

A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations

14 years 1 months ago

Download www.eecs.umich.edu

Egon Börger, Francisco Javier López-Fr...

claim paper

Read More »

click to vote

ICLP
1992
Springer

85views Automated Reasoning» more ICLP 1992»

The Stable Models of a Predicate Logic Program

14 years 1 months ago

Download www.cs.uky.edu

V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel

claim paper

Read More »

click to vote

PODS
1992
ACM

96views Database» more PODS 1992»

The Valid Model Semantics for Logic Programs

14 years 1 months ago

Download www.cse.iitb.ac.in

Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...

claim paper

Read More »

click to vote

ICSI
1990

92views Software Engineering» more ICSI 1990»

A Logical Data Model for Integrated Geographical Databases

14 years 1 months ago

Download www.mat.uniroma2.it

M. Gargano, Enrico Nardelli

claim paper

Read More »

click to vote

IPMU
1990
Springer

65views Information Technology» more IPMU 1990»

Fuzzy Logic Approach to Modelling in Ecosystem Research

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers