Search Results


Related Books

Derivations and Evaluations
Language: en
Pages: 397
Authors: Hans Broekhuis
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2008-08-27 - Publisher: Walter de Gruyter

DOWNLOAD EBOOK

This study shows that Scandinavian object shift and so-called A-scrambling in the continental Germanic languages are the same, and aims at providing an account
Derivations & Evaluations
Language: en
Pages: 230
Authors: Joost Robbert Michiel Dekkers
Categories: French language
Type: BOOK - Published: 1999 - Publisher:

DOWNLOAD EBOOK

Datalog Reloaded
Language: en
Pages: 407
Authors: Oege de Moor
Categories: Computers
Type: BOOK - Published: 2012-01-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-workshop proceedings of the First International Workshop on Datalog 2.0, held in Oxford, UK, in March 2010. T
Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
Language: en
Pages: 150
Authors:
Categories: Automatic theorem proving
Type: BOOK - Published: 2006 - Publisher: Lulu.com

DOWNLOAD EBOOK

Types and Programming Languages
Language: en
Pages: 646
Authors: Benjamin C. Pierce
Categories: Computers
Type: BOOK - Published: 2002-01-04 - Publisher: MIT Press

DOWNLOAD EBOOK

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er
Scroll to top