Γ
Wyszukiwanie: Znaleziono 96 wyniki(-ów) dla "Automatic theorem proving, Lisp (computer program language)" – Bookshop Przejdź do treści

Twój koszyk jest pusty

Kontynuuj zakupy

Masz konto?

Zaloguj się aby sprawdzić szybciej.

Twój koszyk 0

Załadunek...

Suma częściowa

0,00 PLN

Zobacz koszyk (0)
Kontynuuj zakupy
  • Wyprzedaż
  • Pomysły na prezenty
    • Funko POP!
    • Torby materiałowe
    • Świece zapachowe
    • Puzzle i gry
    • Filiżanki i termosy
    • Pluszaki
    • Notatniki Moleskine
  • TOP książki
  • Literatura piękna
    • Literatura grozy
    • Powieści miłosne
    • Kryminały i thrillery
      • Kryminały i thrillery
      • Thrillery
      • Detektywi
      • Powieści kryminalne
    • Fantastyka
      • Proza fantastyczna
      • Epos
      • Wzywanie
      • Wróżki
      • Smoki
    • Fantastyka naukowa
      • Fantastyka naukowa
      • Akcja i przygody
      • Przetrwanie
      • Podróż w czasie
      • Roboty
      • Utopie i dystopie
    • Poezja i dramat
      • Poezja i dramat
      • Poezja
      • Dramat
      • Bibliografia
  • Nieestetyczna
    • Biznes i pieniądze
      • Biznes i gospodarka
      • Małe przedsiębiorstwa
      • Zarządzanie
      • Przywództwo
      • Sukces w biznesie
      • Marketing i sprzedaż
      • Planowanie strategiczne
      • Zarządzanie projektami
    • Biografie i wspomnienia
      • Biografie
      • Autobiografia
    • Psychologia i samodoskonalenie
      • Psychologia
      • Rozwój osobisty
      • Relacje między mężczyznami a kobietami
      • Samorealizacja
      • Ojcostwo
      • Szczęście i dobrobyt
      • Psychoterapia
      • Zdrowie psychiczne
      • Techniki samopomocy
      • Uraz psychiczny
    • Historia i społeczeństwo
      • Historia
      • Cywilizacje starożytne
      • Średniowiecze
      • XX wiek
      • Związek Radziecki i Rosja
      • Holokaust
      • Wojny światowe
      • Historia świata
      • Historiografia
      • Historia społeczna
      • Historia wojen
      • Archeologia
    • Duchowość
      • Religia i duchowość
      • Biblia
      • Judaizm
      • Chrześcijaństwo
      • Buddyzm
    • Polityka i społeczeństwo
      • Polityka i społeczeństwo
      • Socjologia
      • Feminizm
      • Prawa człowieka
      • Terroryzm
      • Media społecznościowe
    • Filozofia
      • Etyka
      • Estetyka
      • Współczesna filozofia
      • Filozofia starożytna
  • Komiksy i manga
    • Komiksy
    • Manga
    • Superbohaterowie
  • Dla dzieci
    • Książki z obrazkami
    • Bajki dla dzieci
    • Książeczki z zabawkami i ruchomymi elementami
    • Wycieczka edukacyjna dla dzieci
    • Poezja dla dzieci
  • Czas wolny i dom
    • Odżywianie
    • Książki kulinarne
    • Joga
    • Samochody
    • Szachy
    • Ogrodnictwo
    • Rękodzieło
    • Turystyka
      • Opisy podróży
      • Przewodniki turystyczne
      • Atlasy i mapy
  • Nauka i zdrowie
    • Nauka i przyroda
      • Matematyka
      • Chemia
      • Biologia i zwierzęta
      • Zmiany klimatu
      • Ekologia
      • Botanika
      • Geologia
      • Genetycy
      • Kosmologia
    • Medycyna
      • Choroby i leczenie
      • Medycyna wewnętrzna
      • Chirurgia
      • Podręczniki pielęgniarskie
      • Mózg
      • Farmakologia
    • Technologie i IT
      • Przetwarzanie danych
      • Inżynieria
      • Sztuczna inteligencja
      • Sieci komputerowe
      • Internet
      • Bezpieczeństwo komputerowe
      • Programowanie
    • Prawo
      • Prawo międzynarodowe
      • Prawo karne
      • Prawo konstytucyjne
      • Własność intelektualna
    • Edukacja
      • Podręczniki dla studentów
      • Szkoły
      • Szkolnictwo wyższe i nauczanie
      • Psychologia edukacyjna
      • Edukacja specjalna
    • Nauka języków
      • Język angielski
      • Język hiszpański
      • Język francuski
      • Język niemiecki
      • Lingwistyka
      • Słowniki
  • Pomoc
Zaloguj się

Kraj/region

  • Estonia EUR €
  • Finlandia EUR €
  • Litwa EUR €
  • Łotwa EUR €
  • Polska PLN zł
    Bookshop
    • Wyprzedaż
    • Pomysły na prezenty
      • Funko POP!
      • Torby materiałowe
      • Świece zapachowe
      • Puzzle i gry
      • Filiżanki i termosy
      • Pluszaki
      • Notatniki Moleskine
    • TOP książki
    • Literatura piękna
      • Literatura grozy
      • Powieści miłosne
      • Kryminały i thrillery
        • Kryminały i thrillery
        • Thrillery
        • Detektywi
        • Powieści kryminalne
      • Fantastyka
        • Proza fantastyczna
        • Epos
        • Wzywanie
        • Wróżki
        • Smoki
      • Fantastyka naukowa
        • Fantastyka naukowa
        • Akcja i przygody
        • Przetrwanie
        • Podróż w czasie
        • Roboty
        • Utopie i dystopie
      • Poezja i dramat
        • Poezja i dramat
        • Poezja
        • Dramat
        • Bibliografia
    • Nieestetyczna
      • Biznes i pieniądze
        • Biznes i gospodarka
        • Małe przedsiębiorstwa
        • Zarządzanie
        • Przywództwo
        • Sukces w biznesie
        • Marketing i sprzedaż
        • Planowanie strategiczne
        • Zarządzanie projektami
      • Biografie i wspomnienia
        • Biografie
        • Autobiografia
      • Psychologia i samodoskonalenie
        • Psychologia
        • Rozwój osobisty
        • Relacje między mężczyznami a kobietami
        • Samorealizacja
        • Ojcostwo
        • Szczęście i dobrobyt
        • Psychoterapia
        • Zdrowie psychiczne
        • Techniki samopomocy
        • Uraz psychiczny
      • Historia i społeczeństwo
        • Historia
        • Cywilizacje starożytne
        • Średniowiecze
        • XX wiek
        • Związek Radziecki i Rosja
        • Holokaust
        • Wojny światowe
        • Historia świata
        • Historiografia
        • Historia społeczna
        • Historia wojen
        • Archeologia
      • Duchowość
        • Religia i duchowość
        • Biblia
        • Judaizm
        • Chrześcijaństwo
        • Buddyzm
      • Polityka i społeczeństwo
        • Polityka i społeczeństwo
        • Socjologia
        • Feminizm
        • Prawa człowieka
        • Terroryzm
        • Media społecznościowe
      • Filozofia
        • Etyka
        • Estetyka
        • Współczesna filozofia
        • Filozofia starożytna
    • Komiksy i manga
      • Komiksy
      • Manga
      • Superbohaterowie
    • Dla dzieci
      • Książki z obrazkami
      • Bajki dla dzieci
      • Książeczki z zabawkami i ruchomymi elementami
      • Wycieczka edukacyjna dla dzieci
      • Poezja dla dzieci
    • Czas wolny i dom
      • Odżywianie
      • Książki kulinarne
      • Joga
      • Samochody
      • Szachy
      • Ogrodnictwo
      • Rękodzieło
      • Turystyka
        • Opisy podróży
        • Przewodniki turystyczne
        • Atlasy i mapy
    • Nauka i zdrowie
      • Nauka i przyroda
        • Matematyka
        • Chemia
        • Biologia i zwierzęta
        • Zmiany klimatu
        • Ekologia
        • Botanika
        • Geologia
        • Genetycy
        • Kosmologia
      • Medycyna
        • Choroby i leczenie
        • Medycyna wewnętrzna
        • Chirurgia
        • Podręczniki pielęgniarskie
        • Mózg
        • Farmakologia
      • Technologie i IT
        • Przetwarzanie danych
        • Inżynieria
        • Sztuczna inteligencja
        • Sieci komputerowe
        • Internet
        • Bezpieczeństwo komputerowe
        • Programowanie
      • Prawo
        • Prawo międzynarodowe
        • Prawo karne
        • Prawo konstytucyjne
        • Własność intelektualna
      • Edukacja
        • Podręczniki dla studentów
        • Szkoły
        • Szkolnictwo wyższe i nauczanie
        • Psychologia edukacyjna
        • Edukacja specjalna
      • Nauka języków
        • Język angielski
        • Język hiszpański
        • Język francuski
        • Język niemiecki
        • Lingwistyka
        • Słowniki
    • Pomoc
    Zaloguj się Wózek

    Kraj/region

    • Estonia EUR €
    • Finlandia EUR €
    • Litwa EUR €
    • Łotwa EUR €
    • Polska PLN zł

    Dostawa w ciągu 5–10 dni do wybranego przez Ciebie automatu pocztowego, bezpłatnie przy zamówieniu o wartości co najmniej 23 €

    Wyniki wyszukiwania

    • The Little Prover

      The Little Prover

      Sprzedaż

      The Little Prover

      Sprzedawca:
      Daniel P. Friedman
      Cena regularna 236,00 zł
      Cena sprzedaży 236,00 zł Cena regularna 245,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Lisp in Small Pieces. By: Christian Queinnec

      Lisp in Small Pieces

      Sprzedaż

      Lisp in Small Pieces

      Sprzedawca:
      Christian Queinnec
      Cena regularna 499,00 zł
      Cena sprzedaży 499,00 zł Cena regularna 516,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Common Lisp: A Gentle Introduction to Symbolic Computation

      Common Lisp: A Gentle Introduction to Symbolic Computation

      Sprzedaż

      Common Lisp: A Gentle Introduction to Symbolic Computation

      Sprzedawca:
      David S. Touretzky
      Cena regularna 245,00 zł
      Cena sprzedaży 245,00 zł Cena regularna 262,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: AutoCADET's Guide to Visual LISP. By: Bill Kramer

      The AutoCADET's Guide to Visual LISP

      Sprzedaż

      The AutoCADET's Guide to Visual LISP

      Sprzedawca:
      Bill Kramer
      Cena regularna 322,00 zł
      Cena sprzedaży 322,00 zł Cena regularna 334,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Logic and Computation. By: Lawrence C. Paulson

      Logic and Computation

      Sprzedaż

      Logic and Computation

      Sprzedawca:
      Lawrence C. Paulson
      Cena regularna 284,00 zł
      Cena sprzedaży 284,00 zł Cena regularna 295,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Symbolic Computation and Automated Reasoning. By: Michael Kohlhase

      Symbolic Computation and Automated Reasoning

      Sprzedaż

      Symbolic Computation and Automated Reasoning

      Sprzedawca:
      Michael Kohlhase
      Cena regularna 515,00 zł
      Cena sprzedaży 515,00 zł Cena regularna 533,00 zł
      Cena jednostkowa /  za 
      Sprzedaż

    • Automated Theorem Proving

      Sprzedaż

      Automated Theorem Proving

      Sprzedawca:
      Special Session on Automatic Theorem Proving (1983 Denver, Colo.)
      Cena regularna 308,00 zł
      Cena sprzedaży 308,00 zł Cena regularna 320,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Deductive and Declarative Programming. By: Peter Padawitz

      Deductive and Declarative Programming

      Sprzedaż

      Deductive and Declarative Programming

      Sprzedawca:
      Peter Padawitz
      Cena regularna 247,00 zł
      Cena sprzedaży 247,00 zł Cena regularna 256,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Mathematical Reasoning with Diagrams. By: Mateja Jamnik

      Mathematical Reasoning with Diagrams

      Sprzedaż

      Mathematical Reasoning with Diagrams

      Sprzedawca:
      Mateja Jamnik
      Cena regularna 356,00 zł
      Cena sprzedaży 356,00 zł Cena regularna 441,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Automated Technology for Verification and Analysis. By: Bernd Finkbeiner

      Automated Technology for Verification and Analysis

      Sprzedaż

      Automated Technology for Verification and Analysis

      Sprzedawca:
      Bernd Finkbeiner
      Cena regularna 246,00 zł
      Cena sprzedaży 246,00 zł Cena regularna 256,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Structure and Interpretation of Computer Programs. By: Harold Abelson

      Structure and Interpretation of Computer Programs

      Sprzedaż

      Structure and Interpretation of Computer Programs

      Sprzedawca:
      Harold Abelson
      Cena regularna 391,00 zł
      Cena sprzedaży 391,00 zł Cena regularna 406,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Logical Approach to Automatic Sequences. By: Jeffrey Shallit

      The Logical Approach to Automatic Sequences

      Sprzedaż

      The Logical Approach to Automatic Sequences

      Sprzedawca:
      Jeffrey Shallit
      Cena regularna 397,00 zł
      Cena sprzedaży 397,00 zł Cena regularna 411,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Concepts and Semantics of Programming Languages 1. By: Therese Hardin

      Concepts and Semantics of Programming Languages 1

      Sprzedaż

      Concepts and Semantics of Programming Languages 1

      Sprzedawca:
      Therese Hardin
      Cena regularna 746,00 zł
      Cena sprzedaży 746,00 zł Cena regularna 771,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Lambda-calculus, Combinators and Functional Programming. By: G. E. Revesz

      Lambda-calculus, Combinators and Functional Programming

      Sprzedaż

      Lambda-calculus, Combinators and Functional Programming

      Sprzedawca:
      G. E. Revesz
      Cena regularna 284,00 zł
      Cena sprzedaży 284,00 zł Cena regularna 295,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Automata, Languages, and Programming. By: Fedor V. Fomin

      Automata, Languages, and Programming

      Sprzedaż

      Automata, Languages, and Programming

      Sprzedawca:
      Fedor V. Fomin
      Cena regularna 246,00 zł
      Cena sprzedaży 246,00 zł Cena regularna 256,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Action Semantics. By: Peter D. Mosses

      Action Semantics

      Sprzedaż

      Action Semantics

      Sprzedawca:
      Peter D. Mosses
      Cena regularna 295,00 zł
      Cena sprzedaży 295,00 zł Cena regularna 306,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Automata, Languages, and Programming. By: Magnús M. Halldórsson

      Automata, Languages, and Programming

      Sprzedaż

      Automata, Languages, and Programming

      Sprzedawca:
      Magnús M. Halldórsson
      Cena regularna 488,00 zł
      Cena sprzedaży 488,00 zł Cena regularna 505,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Masterminds of Programming. By: Federico Biancuzzi

      Masterminds of Programming

      Masterminds of Programming

      Sprzedawca:
      Federico Biancuzzi
      Cena regularna 266,00 zł
      Cena sprzedaży 266,00 zł Cena regularna
      Cena jednostkowa /  za 
    • Book cover of: Mathematical Aspects of Logic Programming Semantics. By: Pascal Hitzler

      Mathematical Aspects of Logic Programming Semantics

      Sprzedaż

      Mathematical Aspects of Logic Programming Semantics

      Sprzedawca:
      Pascal Hitzler
      Cena regularna 418,00 zł
      Cena sprzedaży 418,00 zł Cena regularna 433,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Systemic Text Generation as Problem Solving. By: Terry Patten

      Systemic Text Generation as Problem Solving

      Sprzedaż

      Systemic Text Generation as Problem Solving

      Sprzedawca:
      Terry Patten
      Cena regularna 204,00 zł
      Cena sprzedaży 204,00 zł Cena regularna 212,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Logic of Typed Feature Structures. By: Robert L. Carpenter

      The Logic of Typed Feature Structures

      Sprzedaż

      The Logic of Typed Feature Structures

      Sprzedawca:
      Robert L. Carpenter
      Cena regularna 247,00 zł
      Cena sprzedaży 247,00 zł Cena regularna 256,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Communicating and Mobile Systems. By: Robin Milner

      Communicating and Mobile Systems

      Sprzedaż

      Communicating and Mobile Systems

      Sprzedawca:
      Robin Milner
      Cena regularna 493,00 zł
      Cena sprzedaży 493,00 zł Cena regularna 511,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Haskell School of Expression. By: Paul Hudak

      The Haskell School of Expression

      Sprzedaż

      The Haskell School of Expression

      Sprzedawca:
      Paul Hudak
      Cena regularna 510,00 zł
      Cena sprzedaży 510,00 zł Cena regularna 527,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • Book cover of: Clausal Theory of Types. By: D. A. Wolfram

      The Clausal Theory of Types

      Sprzedaż

      The Clausal Theory of Types

      Sprzedawca:
      D. A. Wolfram
      Cena regularna 155,00 zł
      Cena sprzedaży 155,00 zł Cena regularna 162,00 zł
      Cena jednostkowa /  za 
      Sprzedaż
    • 1
    • 2
    • 3
    • 4
    • Next

    SKLEP

    • Pomoc
    • Prekių pristatymo sąlygos
    • Prekių grąžinimas ir garantija

    HOME

    • Strona główna
    • Polityka prywatności
    • Warunki użytkowania
    • Artykuły

    Odkryj

    • Autorzy litewscy
    • Wszyscy autorzy
    • Wszystkie kategorie
    Salidzini.lv logotipsPhilips, Bērnu preces, Trenažieri, Mēbeles, Dārza tehnika, Zobu birstes, Krūmgrieži, Sadzīves tehnika
    Metody płatności
    • American Express
    • Apple Pay
    • BLIK
    • Google Pay
    • Klarna
    • Maestro
    • Mastercard
    • MobilePay
    • Shop Pay
    • Union Pay
    • Visa

    Kraj/region

    • Estonia EUR €
    • Finlandia EUR €
    • Litwa EUR €
    • Łotwa EUR €
    • Polska PLN zł
    MB Laufgard · info@bookshop.lt
      • Wybranie zaznaczenia powoduje odświeżenie całej strony.
      • Otwiera się w nowym oknie.