Sciweavers

    4737 search results - page 160 / 948
    » The LOGIC negotiation model
    Sort
    View
    132
    Voted
    IFIP
    1994
    Springer
    121views Programming Languages» more  IFIP 1994»
    A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations
    15 years 11 months ago
    A Model for Mathematical Analysis of Functional Logic Programs and Their Implementations
    Download  www.eecs.umich.edu
    Egon Börger, Francisco Javier López-Fr...
    claim paper
    Read More »
    ICLP
    1992
    Springer
    85views Automated Reasoning» more  ICLP 1992»
    The Stable Models of a Predicate Logic Program
    15 years 11 months ago
    The Stable Models of a Predicate Logic Program
    Download  www.cs.uky.edu
    V. Wiktor Marek, Anil Nerode, Jeffrey B. Remmel
    claim paper
    Read More »
    PODS
    1992
    ACM
    96views Database» more  PODS 1992»
    The Valid Model Semantics for Logic Programs
    15 years 11 months ago
    The Valid Model Semantics for Logic Programs
    Download  www.cse.iitb.ac.in
    Catriel Beeri, Raghu Ramakrishnan, Divesh Srivasta...
    claim paper
    Read More »
    ICSI
    1990
    92views Software Engineering» more  ICSI 1990»
    A Logical Data Model for Integrated Geographical Databases
    15 years 11 months ago
    A Logical Data Model for Integrated Geographical Databases
    Download  www.mat.uniroma2.it
    M. Gargano, Enrico Nardelli
    claim paper
    Read More »
    IPMU
    1990
    Springer
    65views Information Technology» more  IPMU 1990»
    Fuzzy Logic Approach to Modelling in Ecosystem Research
    15 years 11 months ago
    Fuzzy Logic Approach to Modelling in Ecosystem Research
    Download  www.eedu.org.cn
    A. Salski, C. Sperlbaum
    claim paper
    Read More »
    Explore & Download
    Proceedings Preprints Top 5 Ranked Papers Publications Books Software Tutorials Presentations Lectures Notes Datasets
    Productivity Tools
    i2PDF i2Img i2Text i2OCR i2Symbol i2Type i2Speak i2Style i2Arabic i2Bopomo Latex Equation Editor
    Sciweavers
    About Community Cookies Privacy Policy Terms of Use

    Copyright © Sciweavers LLC, 2009-2026, USA.