Search Sciweavers | Sciweavers

3562 search results - page 4 / 713

» Introduction to Logic Programming

click to vote

Book

407views

Java Gently

15 years 4 months ago

Download javagently.cs.up.ac.za

"Java Gently teaches the reader how to program and how to do it in the best possible style in Java. In the process, it details the fundamental structures of the Java 2 languag...

Judy Bishop

posted by scimaster

Read More »

click to vote

BIRTHDAY
2005
Springer

233views Applied Computing» more BIRTHDAY 2005»

Logical Non-determinism as a Tool for Logical Modularity: An Introduction

14 years 2 months ago

Download www.cs.tau.ac.il

Arnon Avron

claim paper

Read More »

click to vote

FUIN
2007

236views more FUIN 2007»

Predicate Introduction for Logics with Fixpoint Semantics. Part II: Autoepistemic Logic

13 years 8 months ago

Download people.cs.kuleuven.be

Joost Vennekens, Johan Wittocx, Maarten Marië...

claim paper

Read More »

click to vote

PADL
2010
Springer

158views Programming Languages» more PADL 2010»

An Introduction to Maude and Some of Its Applications

14 years 5 months ago

Download maude.cs.uiuc.edu

Narciso Martí-Oliet

claim paper

Read More »

click to vote

CEFP
2007
Springer

393views Programming Languages» more CEFP 2007»

An Introduction to the Lambda Calculus

14 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers