The Clausal Theory of Types 1
bokomslag The Clausal Theory of Types
Data & IT

The Clausal Theory of Types

D A Wolfram • D A Wolfram

Pocket

519:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 7-12 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

  • 136 sidor
  • 2009
In this book is presented the theoretical foundation of a higher-order logic programming language with equality, based on the clausal theory of types.
  • Författare: D A Wolfram, D A Wolfram
  • Format: Pocket/Paperback
  • ISBN: 9780521117906
  • Språk: Engelska
  • Antal sidor: 136
  • Utgivningsdatum: 2009-07-30
  • Förlag: Cambridge University Press

Du kanske gillar

  1. bokomslag The Clausal Theory of Types

    The Clausal Theory of Types

    D A Wolfram D A Wolfram

    Inbunden

    1229:-
  2. bokomslag Remnant Raising and VSO Clausal Architecture

    Remnant Raising and VSO Clausal Archi...

    Felicia Lee

    Inbunden

    1469:-
  3. bokomslag Topics in the Clausal Syntax of German

    Topics in the Clausal Syntax of German

    Judith Berman

    Pocket

    449:-
  4. bokomslag Question-Orientedness And The Semantics Of Clausal Complementation

    Question-Orientedness And The Semanti...

    Uegaki Wataru Uegaki

    Pocket

    869:-
  5. Ny
    bokomslag Bavarian Syntax - The Left Clausal Periphery

    Bavarian Syntax - The Left Clausal Pe...

    Josef Bayer

    Inbunden

    1889:-
  6. Kommande
    bokomslag Inter-clausal Anaphora in Chinese

    Inter-clausal Anaphora in Chinese

    Shunting Chen

    Inbunden

    2239:-
  7. bokomslag Clausal Complements in Native and Learner Spoken English

    Clausal Complements in Native and Lea...

    Maurizio Gotti Beatriz Tizon-Couto

    Pocket

    1329:-
  8. bokomslag Edge-Based Clausal Syntax

    Edge-Based Clausal Syntax

    Paul M Postal

    Inbunden

    879:-
  9. bokomslag Nominal versus Clausal Complexity in Spoken and Written English

    Nominal versus Clausal Complexity in ...

    Uta Schäpers Uta Schapers

    Pocket

    969:-
  10. bokomslag Din tid kommer

    Din tid kommer

    Carl-Johan Vallgren

    Pocket

    125:-