1
Language, Proof and Logic

Language, Proof and Logic

David Barker-Plummer, Jon Barwise, John Etchemendy
Année:
2011
Langue:
english
Fichier:
PDF, 2.19 MB
5.0 / 5.0
english, 2011
2
Selected papers on computer science

Selected papers on computer science

Donald E. Knuth
Année:
1999
Langue:
english
Fichier:
DJVU, 3.13 MB
0 / 0
english, 1999
3
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

Ivan A. Sag, Thomas Wasow
Année:
1999
Langue:
english
Fichier:
PDF, 2.25 MB
5.0 / 0
english, 1999
4
Companion to the Papers of Donald Knuth

Companion to the Papers of Donald Knuth

Donald E. Knuth
Année:
2012
Langue:
english
Fichier:
DJVU, 4.00 MB
0 / 0
english, 2012
5
Selected papers on discrete mathematics

Selected papers on discrete mathematics

Donald E. Knuth
Année:
2001
Langue:
english
Fichier:
DJVU, 5.22 MB
0 / 0
english, 2001
6
Lexical Functional Grammar

Lexical Functional Grammar

Yehuda N. Falk
Année:
2001
Langue:
english
Fichier:
PDF, 1.75 MB
5.0 / 0
english, 2001
7
A Natural History of Negation

A Natural History of Negation

Laurence R. Horn
Année:
2001
Langue:
english
Fichier:
PDF, 38.29 MB
5.0 / 5.0
english, 2001
8
Selected papers on fun & games

Selected papers on fun & games

Donald E. Knuth
Année:
2011
Langue:
english
Fichier:
PDF, 20.79 MB
0 / 0
english, 2011
9
Tarski's World: Revised and Expanded

Tarski's World: Revised and Expanded

David Barker-Plummer, Jon Barwise, John Etchemendy
Année:
2007
Langue:
english
Fichier:
PDF, 1.37 MB
0 / 0
english, 2007
10
English syntax : an introduction

English syntax : an introduction

Jong-Bok Kim, Peter Sells
Année:
2007
Langue:
english
Fichier:
PDF, 819 KB
5.0 / 0
english, 2007
11
Modal Logic for Open Minds

Modal Logic for Open Minds

Johan van Benthem
Année:
2000
Langue:
english
Fichier:
PDF, 2.13 MB
0 / 0
english, 2000
12
Representation and Inference for Natural Language: A First Course in Computational Semantics

Representation and Inference for Natural Language: A First Course in Computational Semantics

Patrick Blackburn, Johan Bos
Année:
2005
Langue:
english
Fichier:
PDF, 5.33 MB
0 / 5.0
english, 2005
13
Literate Programming

Literate Programming

Knuth D.E.
Année:
1992
Langue:
english
Fichier:
DJVU, 2.74 MB
5.0 / 4.5
english, 1992
14
Modal Logic for Open Minds

Modal Logic for Open Minds

Johan van Benthem
Année:
2000
Langue:
english
Fichier:
DJVU, 2.75 MB
5.0 / 5.0
english, 2000
15
Phrase Structure and Grammatical Relations in Tagalog

Phrase Structure and Grammatical Relations in Tagalog

Paul Kroeger
Année:
1992
Langue:
english
Fichier:
PDF, 7.67 MB
5.0 / 0
english, 1992
16
Selected Papers on Computer Languages

Selected Papers on Computer Languages

Donald E. Knuth
Année:
2002
Langue:
english
Fichier:
DJVU, 4.58 MB
0 / 0
english, 2002
17
The situation in logic

The situation in logic

Jon Barwise
Année:
1989
Langue:
english
Fichier:
DJVU, 4.39 MB
5.0 / 0
english, 1989
18
Situations and Attitudes

Situations and Attitudes

Jon Barwise, John Perry
Année:
1998
Langue:
english
Fichier:
PDF, 11.82 MB
4.5 / 0
english, 1998
19
Language, Proof and Logic

Language, Proof and Logic

Jon Barwise, John Etchemendy
Année:
2002
Langue:
english
Fichier:
PDF, 3.10 MB
0 / 0
english, 2002
21
Selected Papers on Design of Algorithms (for Algorithmix)

Selected Papers on Design of Algorithms (for Algorithmix)

Knuth D.E.
Année:
2010
Langue:
english
Fichier:
DJVU, 8.18 MB
0 / 0
english, 2010
22
Representation and Invariance of Scientific Structures

Representation and Invariance of Scientific Structures

Patrick Suppes
Année:
2001
Langue:
english
Fichier:
PDF, 7.69 MB
0 / 0
english, 2001
23
Introduction to natural language semantics

Introduction to natural language semantics

Henriëtte de Swart
Année:
1998
Langue:
english
Fichier:
DJVU, 1.84 MB
0 / 0
english, 1998
24
Digital Typography (CSLI Lecture Notes Number 78)

Digital Typography (CSLI Lecture Notes Number 78)

Donald E. Knuth
Année:
2016
Langue:
english
Fichier:
PDF, 85.36 MB
5.0 / 0
english, 2016
25
Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena

Jon Barwise, Lawrence Moss
Année:
1996
Langue:
english
Fichier:
PDF, 15.43 MB
0 / 0
english, 1996
26
Language, Proof and Logic [CD-ROM]

Language, Proof and Logic [CD-ROM]

Jon Barwise, John Etchemendy (eds.)
Année:
2002
Langue:
english
Fichier:
RAR, 46.74 MB
0 / 0
english, 2002
27
Necessity or Contingency: The Master Argument

Necessity or Contingency: The Master Argument

Jules Vuillemin
Année:
1996
Langue:
english
Fichier:
PDF, 14.94 MB
5.0 / 5.0
english, 1996
28
Beyond grammar: an experience-based theory of language

Beyond grammar: an experience-based theory of language

Rens Bod
Année:
1998
Langue:
english
Fichier:
PDF, 6.38 MB
0 / 0
english, 1998
29
Syntactic theory: a formal introduction

Syntactic theory: a formal introduction

Sag I.A., Wasow T., Bender E.M.
Année:
2003
Langue:
english
Fichier:
DJVU, 4.01 MB
0 / 0
english, 2003
30
Selected Papers on Computer Languages

Selected Papers on Computer Languages

Donald E. Knuth
Année:
2002
Langue:
english
Fichier:
DJVU, 4.98 MB
0 / 0
english, 2002
31
Non-Well-Founded Sets

Non-Well-Founded Sets

Peter Aczel
Année:
1988
Langue:
english
Fichier:
PDF, 4.46 MB
0 / 0
english, 1988
32
A Manual of Intensional Logic

A Manual of Intensional Logic

Johan van Benthem
Année:
1988
Langue:
english
Fichier:
PDF, 37.48 MB
5.0 / 0
english, 1988
33
Hyperproof

Hyperproof

Jon Barwise, John Etchemendy
Année:
1994
Langue:
english
Fichier:
PDF, 11.94 MB
0 / 0
english, 1994
34
A Constructional Approach to Resultatives

A Constructional Approach to Resultatives

Hans C. Boas
Année:
2003
Langue:
english
Fichier:
PDF, 26.07 MB
0 / 0
english, 2003
35
The Linguistics of Punctuation

The Linguistics of Punctuation

Geoffrey Nunberg
Année:
1990
Langue:
english
Fichier:
DJVU, 13.05 MB
0 / 0
english, 1990
36
Logics of Time and Computation

Logics of Time and Computation

Robert Goldblatt
Année:
1992
Langue:
english
Fichier:
PDF, 5.61 MB
0 / 0
english, 1992
37
Literature and Cognition

Literature and Cognition

Jerry R. Hobbs
Année:
1990
Langue:
english
Fichier:
PDF, 9.06 MB
0 / 0
english, 1990
38
Formal Issues in Lexical-Functional Grammar

Formal Issues in Lexical-Functional Grammar

John Maxwell III, Ronald M. Kaplan, Mary Dalrymple, Annie Zaenen
Année:
1994
Langue:
english
Fichier:
PDF, 7.05 MB
5.0 / 0
english, 1994
39
Reference and Reflexivity

Reference and Reflexivity

John Perry
Année:
2012
Langue:
english
Fichier:
PDF, 12.54 MB
0 / 0
english, 2012
41
Defending AI Research: A Collection of Essays and Reviews

Defending AI Research: A Collection of Essays and Reviews

John McCarthy
Année:
1996
Langue:
english
Fichier:
PDF, 5.40 MB
0 / 0
english, 1996
42
Dynamics of Reason

Dynamics of Reason

Michael Friedman
Année:
2001
Langue:
english
Fichier:
DJVU, 1.34 MB
5.0 / 5.0
english, 2001
43
Mathematics of modality

Mathematics of modality

Robert Goldblatt
Année:
1993
Langue:
english
Fichier:
PDF, 11.27 MB
0 / 0
english, 1993
44
Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

Unsettling Obligations: Essays on Reason, Reality and the Ethics of Belief

Allen W. Wood
Année:
2002
Langue:
english
Fichier:
PDF, 38.71 MB
0 / 0
english, 2002
45
Lexical Matters

Lexical Matters

Ivan A. Sag, Anna Szabolcsi
Année:
1992
Langue:
english
Fichier:
PDF, 8.39 MB
5.0 / 0
english, 1992
46
The grammar of negation: A constraint-based approach [PhD Thesis]

The grammar of negation: A constraint-based approach [PhD Thesis]

Jong-Bok Kim
Année:
2000
Langue:
english
Fichier:
DJVU, 2.17 MB
5.0 / 5.0
english, 2000
47
Mathematical Reasoning with Diagrams

Mathematical Reasoning with Diagrams

Mateja Jamnik
Année:
2001
Langue:
english
Fichier:
PDF, 1.55 MB
0 / 0
english, 2001
48
Ambiguity Resolution in Language Learning: Computational and Cognitive Models

Ambiguity Resolution in Language Learning: Computational and Cognitive Models

Hinrich Schutze
Année:
1997
Langue:
english
Fichier:
PDF, 11.07 MB
0 / 0
english, 1997
49
Selected papers on design of algorithms

Selected papers on design of algorithms

Knuth D.E.
Année:
2010
Langue:
english
Fichier:
DJVU, 3.91 MB
0 / 0
english, 2010
50
Time warps, string edits, and macromolecules : [the theory and practice of sequence comparison]

Time warps, string edits, and macromolecules : [the theory and practice of sequence comparison]

David Sankoff, Joseph B Kruskal
Année:
1999
Langue:
english
Fichier:
DJVU, 2.82 MB
0 / 0
english, 1999