Γ
Otsing: 20 tulemust päringule „Automatic theorem proving, Lisp (computer program language)“ – Bookshop Skip to content
  • ⚠️ Allahindlus ⚠️
  • Kingituste ideed
    • Funko POP!
    • Kangast kotid
    • Lõhnaküünlad
    • Pusikud ja mängud
    • Tassid ja termospudelid
    • Pehmed mänguasjad
    • Moleskine märkmikud
  • TOP raamatud
  • Ilukirjandus
    • Hirmukirjandus
    • Armastusromaanid
    • Detektiivromaanid ja põnevikud
      • Detektiivromaanid ja põnevikud
      • Põnevikud
      • Detektiivid
      • Kriminaalromaanid
    • Fantaasia
      • Fantastiline proosa
      • Eepos
      • Hüüdmine
      • Haldjad
      • Draakonid
    • Teaduslik fantastika
      • Teaduslik fantastika
      • Tegevus ja seiklused
      • Ellujäämine
      • Reisi kestus
      • Robotid
      • Utoopiad ja düstoopiad
    • Luule ja draama
      • Luule ja draama
      • Luule
      • Draama
      • Kirjandus
  • Ilukirjandus
    • Äri ja raha
      • Äri ja majandus
      • Väikeettevõtlus
      • Juhtimine
      • Juhioskus
      • Edu äris
      • Turundus ja müük
      • Strateegiline planeerimine
      • Projektide juhtimine
    • Elulood ja mälestused
      • Elulood
      • Autobiograafia
    • Psühholoogia ja enesearendamine
      • Psühholoogia
      • Isiklik areng
      • Meeste ja naiste suhted
      • Eneseteostus
      • Isadus
      • Õnn ja heaolu
      • Psühhoteraapia
      • Vaimne tervis
      • Eneseabitehnikad
      • Psühholoogiline trauma
    • Ajalugu ja ühiskond
      • Ajalugu
      • Iidsed tsivilisatsioonid
      • Keskaja
      • 20. sajand
      • Nõukogude Liit ja Venemaa
      • Holokaust
      • Maailmasõjad
      • Maailma ajalugu
      • Historiograafia
      • Sotsiaalajalugu
      • Sõja ajalugu
      • Arheoloogia
    • Vaimulisus
      • Religioon ja vaimsus
      • Piibel
      • Judaism
      • Kristlus
      • Budism
    • Poliitika ja ühiskond
      • Poliitika ja ühiskond
      • Sotsioloogia
      • Feminism
      • Inimõigused
      • Terrorism
      • Sotsiaalmeedia
    • Filosoofia
      • Eetika
      • Esteetika
      • Kaasaegne filosoofia
      • Antiikfilosoofia
  • Koomiksid ja manga
    • Koomiksid
    • Manga
    • Superkangelased
  • LASTELE
    • Pildiraamatud
    • Laste muinasjutud
    • Mängu- ja liikuvaid raamatuid
    • Tutvustuslastele
    • Laste luule
  • Vaba aeg ja kodu
    • Toitumine
    • Kokaraamatud
    • Jooga
    • Autod
    • Malemäng
    • Aiandus
    • Käsitöö
    • Turism
      • Reisikirjeldused
      • Reisijuhendid
      • Atlasid ja kaardid
  • Teadus ja tervis
    • Teadus ja loodus
      • Matemaatika
      • Keemia
      • Bioloogia ja loomad
      • Kliimamuutus
      • Ökoloogia
      • Botaanika
      • Geoloogia
      • Geneetikud
      • Kosmoloogia
    • Meditsiin
      • Haigused ja ravi
      • Sisehaigused
      • Kirurgia
      • Hooldusraamatud
      • Aju
      • Farmakoloogia
    • Tehnoloogia ja IT
      • Andmete töötlemine
      • Inseneriteadus
      • Tehisintellekt
      • Arvutivõrgud
      • Internet
      • Arvutiturvalisus
      • Programmeerimine
    • Õigus
      • Rahvusvaheline õigus
      • Kriminaalõigus
      • Põhiseaduslik õigus
      • Intellektuaalomand
    • Haridus
      • Üliõpilaste raamatud
      • Kõrgharidus ja õpetamine
      • Hariduspõhine psühholoogia
      • Eripedagoogika
    • Keelte õppimine
      • Inglise keel
      • Hispaania keel
      • Prantsuse keel
      • Saksa keel
      • Keeleteadus
      • Sõnastikud
  • Abi
Logi sisse

Riik/piirkond

  • Eesti EUR €
  • Läti EUR €
  • Leedu EUR €
  • Poola PLN zł
  • Soome EUR €
    Bookshop
    • ⚠️ Allahindlus ⚠️
    • Kingituste ideed
      • Funko POP!
      • Kangast kotid
      • Lõhnaküünlad
      • Pusikud ja mängud
      • Tassid ja termospudelid
      • Pehmed mänguasjad
      • Moleskine märkmikud
    • TOP raamatud
    • Ilukirjandus
      • Hirmukirjandus
      • Armastusromaanid
      • Detektiivromaanid ja põnevikud
        • Detektiivromaanid ja põnevikud
        • Põnevikud
        • Detektiivid
        • Kriminaalromaanid
      • Fantaasia
        • Fantastiline proosa
        • Eepos
        • Hüüdmine
        • Haldjad
        • Draakonid
      • Teaduslik fantastika
        • Teaduslik fantastika
        • Tegevus ja seiklused
        • Ellujäämine
        • Reisi kestus
        • Robotid
        • Utoopiad ja düstoopiad
      • Luule ja draama
        • Luule ja draama
        • Luule
        • Draama
        • Kirjandus
    • Ilukirjandus
      • Äri ja raha
        • Äri ja majandus
        • Väikeettevõtlus
        • Juhtimine
        • Juhioskus
        • Edu äris
        • Turundus ja müük
        • Strateegiline planeerimine
        • Projektide juhtimine
      • Elulood ja mälestused
        • Elulood
        • Autobiograafia
      • Psühholoogia ja enesearendamine
        • Psühholoogia
        • Isiklik areng
        • Meeste ja naiste suhted
        • Eneseteostus
        • Isadus
        • Õnn ja heaolu
        • Psühhoteraapia
        • Vaimne tervis
        • Eneseabitehnikad
        • Psühholoogiline trauma
      • Ajalugu ja ühiskond
        • Ajalugu
        • Iidsed tsivilisatsioonid
        • Keskaja
        • 20. sajand
        • Nõukogude Liit ja Venemaa
        • Holokaust
        • Maailmasõjad
        • Maailma ajalugu
        • Historiograafia
        • Sotsiaalajalugu
        • Sõja ajalugu
        • Arheoloogia
      • Vaimulisus
        • Religioon ja vaimsus
        • Piibel
        • Judaism
        • Kristlus
        • Budism
      • Poliitika ja ühiskond
        • Poliitika ja ühiskond
        • Sotsioloogia
        • Feminism
        • Inimõigused
        • Terrorism
        • Sotsiaalmeedia
      • Filosoofia
        • Eetika
        • Esteetika
        • Kaasaegne filosoofia
        • Antiikfilosoofia
    • Koomiksid ja manga
      • Koomiksid
      • Manga
      • Superkangelased
    • LASTELE
      • Pildiraamatud
      • Laste muinasjutud
      • Mängu- ja liikuvaid raamatuid
      • Tutvustuslastele
      • Laste luule
    • Vaba aeg ja kodu
      • Toitumine
      • Kokaraamatud
      • Jooga
      • Autod
      • Malemäng
      • Aiandus
      • Käsitöö
      • Turism
        • Reisikirjeldused
        • Reisijuhendid
        • Atlasid ja kaardid
    • Teadus ja tervis
      • Teadus ja loodus
        • Matemaatika
        • Keemia
        • Bioloogia ja loomad
        • Kliimamuutus
        • Ökoloogia
        • Botaanika
        • Geoloogia
        • Geneetikud
        • Kosmoloogia
      • Meditsiin
        • Haigused ja ravi
        • Sisehaigused
        • Kirurgia
        • Hooldusraamatud
        • Aju
        • Farmakoloogia
      • Tehnoloogia ja IT
        • Andmete töötlemine
        • Inseneriteadus
        • Tehisintellekt
        • Arvutivõrgud
        • Internet
        • Arvutiturvalisus
        • Programmeerimine
      • Õigus
        • Rahvusvaheline õigus
        • Kriminaalõigus
        • Põhiseaduslik õigus
        • Intellektuaalomand
      • Haridus
        • Üliõpilaste raamatud
        • Kõrgharidus ja õpetamine
        • Hariduspõhine psühholoogia
        • Eripedagoogika
      • Keelte õppimine
        • Inglise keel
        • Hispaania keel
        • Prantsuse keel
        • Saksa keel
        • Keeleteadus
        • Sõnastikud
    • Abi
    Logi sisse Ostukorv

    Riik/piirkond

    • Eesti EUR €
    • Läti EUR €
    • Leedu EUR €
    • Poola PLN zł
    • Soome EUR €

    Kohaletoimetamine 5–10 tööpäeva jooksul teie valitud postiautomaati, tasuta alates 23 €

    Otsingutulemused

    • The Little Prover

      The Little Prover

      Väljamüük

      The Little Prover

      Müüja:
      Daniel P. Friedman
      Tavaline hind €53,14
      Müügihind €53,14 Tavaline hind €55,25
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Lisp in Small Pieces. By: Christian Queinnec

      Lisp in Small Pieces

      Väljamüük

      Lisp in Small Pieces

      Müüja:
      Christian Queinnec
      Tavaline hind €112,55
      Müügihind €112,55 Tavaline hind €116,50
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: AutoCADET's Guide to Visual LISP. By: Bill Kramer

      The AutoCADET's Guide to Visual LISP

      Väljamüük

      The AutoCADET's Guide to Visual LISP

      Müüja:
      Bill Kramer
      Tavaline hind €72,53
      Müügihind €72,53 Tavaline hind €75,24
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Symbolic Computation and Automated Reasoning. By: Michael Kohlhase

      Symbolic Computation and Automated Reasoning

      Väljamüük

      Symbolic Computation and Automated Reasoning

      Müüja:
      Michael Kohlhase
      Tavaline hind €116,18
      Müügihind €116,18 Tavaline hind €120,24
      Ühiku hind /  kaudu. 
      Väljamüük

    • Automated Theorem Proving

      Väljamüük

      Automated Theorem Proving

      Müüja:
      Special Session on Automatic Theorem Proving (1983 Denver, Colo.)
      Tavaline hind €69,51
      Müügihind €69,51 Tavaline hind €72,13
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Mathematical Reasoning with Diagrams. By: Mateja Jamnik

      Mathematical Reasoning with Diagrams

      Väljamüük

      Mathematical Reasoning with Diagrams

      Müüja:
      Mateja Jamnik
      Tavaline hind €80,26
      Müügihind €80,26 Tavaline hind €99,42
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Automated Technology for Verification and Analysis. By: Bernd Finkbeiner

      Automated Technology for Verification and Analysis

      Väljamüük

      Automated Technology for Verification and Analysis

      Müüja:
      Bernd Finkbeiner
      Tavaline hind €55,55
      Müügihind €55,55 Tavaline hind €57,74
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Some Assembly Required. By: Timothy S. Margush

      Some Assembly Required

      Väljamüük

      Some Assembly Required

      Müüja:
      Timothy S. Margush
      Tavaline hind €140,44
      Müügihind €140,44 Tavaline hind €145,25
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Automata, Languages, and Programming. By: Fedor V. Fomin

      Automata, Languages, and Programming

      Väljamüük

      Automata, Languages, and Programming

      Müüja:
      Fedor V. Fomin
      Tavaline hind €55,55
      Müügihind €55,55 Tavaline hind €57,74
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Masterminds of Programming. By: Federico Biancuzzi

      Masterminds of Programming

      Masterminds of Programming

      Müüja:
      Federico Biancuzzi
      Tavaline hind €59,99
      Müügihind €59,99 Tavaline hind
      Ühiku hind /  kaudu. 
    • Book cover of: Systemic Text Generation as Problem Solving. By: Terry Patten

      Systemic Text Generation as Problem Solving

      Väljamüük

      Systemic Text Generation as Problem Solving

      Müüja:
      Terry Patten
      Tavaline hind €45,85
      Müügihind €45,85 Tavaline hind €47,74
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: LISP Network Deployment and Troubleshooting. By: SHAKIL, TARIQUE

      LISP Network Deployment and Troubleshooting

      Väljamüük

      LISP Network Deployment and Troubleshooting

      Müüja:
      TARIQUE SHAKIL
      Tavaline hind €54,55
      Müügihind €54,55 Tavaline hind €56,24
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Programming with Higher-Order Logic. By: Dale Miller

      Programming with Higher-Order Logic

      Väljamüük

      Programming with Higher-Order Logic

      Müüja:
      Dale Miller
      Tavaline hind €54,35
      Müügihind €54,35 Tavaline hind €56,50
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Automata, Languages, and Programming. By: Javier Esparza

      Automata, Languages, and Programming

      Väljamüük

      Automata, Languages, and Programming

      Müüja:
      Javier Esparza
      Tavaline hind €55,55
      Müügihind €55,55 Tavaline hind €57,74
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Semantic Structures (RLE Linguistics B: Grammar). By: David L. Waltz

      Semantic Structures (RLE Linguistics B: Grammar)

      Väljamüük

      Semantic Structures (RLE Linguistics B: Grammar)

      Müüja:
      David L. Waltz
      Tavaline hind €60,40
      Müügihind €60,40 Tavaline hind €62,74
      Ühiku hind /  kaudu. 
      Väljamüük
    • Õpi sulle Haskell suureks hüvanguks

      Õpi sulle Haskell suureks hüvanguks

      Väljamüük

      Õpi sulle Haskell suureks hüvanguks

      Müüja:
      Miran Lipovaa
      Tavaline hind €51,65
      Müügihind €51,65 Tavaline hind €55,24
      Ühiku hind /  kaudu. 
      Väljamüük
    • LISP Network Deployment and Troubleshooting

      LISP Network Deployment and Troubleshooting

      Väljamüük

      LISP Network Deployment and Troubleshooting

      Müüja:
      Tarique Shakil
      Tavaline hind €55,55
      Müügihind €55,55 Tavaline hind €57,74
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Advanced Logo. By: Michael Friendly

      Advanced Logo

      Väljamüük

      Advanced Logo

      Müüja:
      Michael Friendly
      Tavaline hind €43,43
      Müügihind €43,43 Tavaline hind €45,24
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: MIPS Assembly Language Programming. By: Robert Britton

      MIPS Assembly Language Programming

      Väljamüük

      MIPS Assembly Language Programming

      Müüja:
      Robert Britton
      Tavaline hind €125,88
      Müügihind €125,88 Tavaline hind €130,24
      Ühiku hind /  kaudu. 
      Väljamüük
    • Book cover of: Programming for Corpus Linguistics. By: Oliver Mason

      Programming for Corpus Linguistics

      Väljamüük

      Programming for Corpus Linguistics

      Müüja:
      Oliver Mason
      Tavaline hind €41,05
      Müügihind €41,05 Tavaline hind €43,99
      Ühiku hind /  kaudu. 
      Väljamüük

    SHOP

    • Abi
    • Kauba kohaletoimetamise tingimused
    • Kauba tagastamine ja garantii

    HOME

    • Pealeht
    • Privaatsuspoliitika
    • Kasutustingimused
    • Artiklid

    Avastage

    • Leedu autorid
    • Kõik autorid
    • Kõik kategooriad
    Salidzini.lv logotipsPhilips, Bērnu preces, Trenažieri, Mēbeles, Dārza tehnika, Zobu birstes, Krūmgrieži, Sadzīves tehnika
    Makseviisid
    • American Express
    • Apple Pay
    • BLIK
    • Google Pay
    • Klarna
    • Maestro
    • Mastercard
    • MobilePay
    • Shop Pay
    • Union Pay
    • Visa

    Riik/piirkond

    • Eesti EUR €
    • Läti EUR €
    • Leedu EUR €
    • Poola PLN zł
    • Soome EUR €
    MB Laufgard · info@bookshop.lt
      • Valiku valimine värskendab kogu lehte.
      • Avaneb uues aknas.