Search Sciweavers | Sciweavers

12993 search results - page 101 / 2599

» Artificial Intelligence in China

click to vote

WLP
1993
Springer

99views Artificial Intelligence» more WLP 1993»

Using Logic Programming and Coroutining for VLSI Design

14 years 2 months ago

Download ls12-www.cs.tu-dortmund.de

Ulrich Bieker, Andreas Neumann

claim paper

Read More »

click to vote

LFCS
1992
Springer

99views Artificial Intelligence» more LFCS 1992»

Ordinal Arithmetic with List Structures

14 years 2 months ago

Download www.cs.tau.ac.il

Nachum Dershowitz, Edward M. Reingold

claim paper

Read More »

click to vote

TABLEAUX
1992
Springer

83views Artificial Intelligence» more TABLEAUX 1992»

A Model Elimination Calculus for Generalized Clauses

14 years 2 months ago

Download dli.iiit.ac.in

Toni Bollinger

claim paper

Read More »

click to vote

ICAIL
1989
ACM

58views Artificial Intelligence» more ICAIL 1989»

The Treatment of Negation in Logic Programs for Representing Legislation

14 years 2 months ago

Download www.doc.ic.ac.uk

Robert A. Kowalski

claim paper

Read More »

click to vote

ICAIL
1989
ACM

55views Artificial Intelligence» more ICAIL 1989»

Representing the Structure of a Legal Argument

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers