Sciweavers

3562 search results - page 9 / 713
» Introduction to Logic Programming
Sort
View
CORR
2011
Springer
170views Education» more  CORR 2011»
14 years 4 months ago
Introduction to Categories and Categorical Logic
Samson Abramsky, Nikos Tzevelekos
NJC
2000
169views more  NJC 2000»
14 years 9 months ago
A Type System for Bounded Space and Functional In-Place Update
We show how linear typing can be used to obtain functional programs which modify heap-allocated data structures in place. We present this both as a "design pattern" for ...
Martin Hofmann
143
Voted

Book
534views
16 years 7 months ago
Neural Networks - A Systematic Introduction
This book covers the following topics: The biological paradigm, Threshold logic, Weighted Networks, The Perceptron, Perceptron learning, Unsupervised learning and clustering algori...
Raul Rojas
133
Voted

Book
358views
16 years 7 months ago
Java for the Beginning Programmer
"Java for the Beginning Programmer teaches Java to someone with absolutely no programming background. This book focuses on core programming topics such as variables, looping, ...
Jeff Heaton
PPDP
2005
Springer
15 years 3 months ago
A gentle introduction to semantic subtyping
Giuseppe Castagna, Alain Frisch