Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering Forlænget returret til 31/01/25

Sidst søgt på

Bliv medlem
Du er ikke logget ind

Log ind Opret dig

Bliv medlem

Bøger
E-bøger
Lydbøger
Podcasts
Medlemskaber
- Alle medlemskaber
Inspiration
Jul 2024
- Julegaver efter tema
- Bøger til julen
Bestsellere
Erhverv
Kundeservice

Log ind Opret dig

Forfatter
Nicola Olivetti

Alle bøger af Nicola Olivetti

Alle tilgængelige bogudgivelser af Nicola Olivetti på Saxo. Vi har 5 titler forfattet af Nicola Olivetti, tilgængelig her på shoppen, se udvalget nedenfor.

Filtrér resultat

Type
- Bøger (5)
Format
- Paperback (3)
- Hardback (2)
Sprog
- Engelsk (5)
Tags
- Mathematical logic (5)
- Proof theory (5)
- Artificial intelligence (4)
- PHILOSOPHY / Logic (3)
- Computer programming / software engineering (3)
- Logic (3)
- Proof (3)
- Substructural logics (2)
- Automated deduction (2)
- Description logics (2)
- Truth values (2)
- Fuzzy mathematics (2)
- Addition (2)
- Gentzen (2)
- Many-valued logics (2)
- Vagueness (2)
- Hilbert (2)
- Mathematics (2)
- Algebra (2)
- Fuzzy logic (2)
- Mathematical foundations (2)
- Ordered algebraic structures (2)
- Automated reasoning (2)
- Nonmonotonic reasoning (1)
- Satisfiability (1)
- Differential dynamic logic (1)
- HOL (1)
- Integer arithmetic (1)
- Modal logics (1)
- Interactive theorem proving (1)
- Software engineering (1)
- Logic programming (1)
- Conditional logics (1)
- Deduction (1)
- Program verification (1)
- Isabelle (1)
- Maude (1)
- Temporal logics (1)
- Erfüllbarkeitsproblem der Aussagenlogik (1)
- Formal verification (1)
- Modal logic (1)
- Constraint solving (1)
- Applied mathematics (1)
- Knowledge Bases (1)
- Philosophy (1)
- Algebra, Artificial intelligence, Mathematical foundations, Mathematical logic, Philosophy: logic (1)
- Computer architecture & logic design (1)
- Expert systems / knowledge-based systems (1)
- Information technology: general issues (1)
- Mathematical theory of computation (1)
- Programming & scripting languages: general (1)
- Model-checking (1)
- model elimination (1)
- Object-oriented design (1)
- Theorem proving (1)
- Equational logic and rewriting (1)
- Higher-order logic (1)
- AI logics (1)
- Higher-order rewriting (1)
Forlag
- Springer (2)
- Springer International Publishing AG (1)
- Springer-verlag Berlin And Heidelberg Gmbh & Co. K (1)
- Springer-verlag New York Inc. (1)

Ryd alle

Der er 5 produkter fra din søgning

Filtrér
Sorter efter

Sorter efter

- Automated Reasoning with Analytic Tableaux and Related Methods
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 419,95
- kr. 399,95
  med Shopping-fordele
- Automated Reasoning
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 629,95
- kr. 594,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 629,95
- kr. 594,95
  med Shopping-fordele
- Proof Theory for Fuzzy Logics
- George Metcalfe , Nicola Olivetti & Dov M. Gabbay
- Bog, paperback
- Sprog: Engelsk
- Læs mere
- kr. 944,95
- kr. 899,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 944,95
- kr. 899,95
  med Shopping-fordele
- Goal-Directed Proof Theory
- Dov M. Gabbay & N. Olivetti
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 789,95
- kr. 754,95
  med Shopping-fordele
- Proof Theory for Fuzzy Logics
- George Metcalfe , Nicola Olivetti & Dov M. Gabbay
- Bog, hardback
- Sprog: Engelsk
- Læs mere
- kr. 944,95
- kr. 899,95
  med Shopping-fordele
- Leveringstid: 2-3 uger (Sendes fra fjernlager)
- kr. 944,95
- kr. 899,95
  med Shopping-fordele

I Saxo elsker vi bøger, og alt det bøger kan betyde for dig og for samfundet. I over 20 år har vi arbejdet for at inspirere dig til at se nye sider af bøger – og måske af livet – hver dag. Sammen med vores kunder og UNICEF gør vi en indsats for, at alle verdens børn skal lære at læse. Vi vil gøre det så nemt som muligt for dig at læse, lytte til og udgive bøger i alle afskygninger - fra forfatteren får sin første idé til du som læser vender den sidste side. Læs Lyt Lev.

Administrér samtykke

Kontakt & hjælp

Saxo.com A/S (CVR: 29197849)

Telefon: (+45) 38150510

Email: info@saxo.com

Sociale medier

facebook
instagram
linkedin
youtube

Nem betaling

Tekst, grafik, billeder, lyd og andet indhold på dette website er beskyttet efter lov om ophavsret. Saxo.com A/S forbeholder sig alle rettigheder til indholdet, på egne og udgiveres vegne, herunder retten til at udnytte indholdet med henblik på tekst- og datamining, jf. ophavsretslovens § 11 b og DSM-direktivets artikel 4.

Kontakt os
Om Saxo
Presse
Karriere i Saxo
Adresser
Følg din ordre
Gavekort
Returnering
Cookiepolitik
Cookiedeklaration
Persondatapolitik
Salgsbetingelser

Bliv medlem af Saxo
Bøger i Saxos app
Bøger
Lydbøger
E-bøger
Studiebøger
Erhvervskunder
Saxo for UNICEF
Nye bogtitler
Saxo Publish

Boginspiration

Indtast din e-mail

Saxo.com må gerne kontakte mig via e-mail, sms og telefon med tilpassede nyheder og tilbud på print og digitale produkter og tjenester, lyd-, streaming-, kultur- og underholdningstilbud, arrangementer samt mulighed for deltagelse i konkurrencer o.l. fra Saxo.com og fra udvalgte brands og koncernselskaber i JP/Politikens Hus A/S. Listen med brands og koncernselskaber kan løbende opdateres, så der altid præsenteres relevante og aktuelle nyheder og tilbud.

Med mit samtykke accepterer jeg også, at Saxo.com må behandle mine persondata og indsamle information om min interaktion med markedsføringsmeddelelser (såsom åbning og læsning) ved hjælp af tracking pixels og lignende teknologier. Læs mere i vores privatlivspolitik og cookiepolitik.

Samtykket kan altid tilbagekaldes via afmeldingslink eller ved at kontakte kundeservice.

Machine Name: SAXO081