Din browser er ikke understøttet. Vennligst oppdatér din browser eller last ned en annen
Velg språk
Velg region
Startside
/
Katalog
/
Bøker

Bok Logic In Computer Science : Modelling and Reasoning About Systems

Nåværende pris
Pris 1 256 kr
inkludert MVA
Levering den 4.-9. november
Levering 59 NOK
Betingelser for retur
Sikre betalinger
Kundeservice snakker norsk

Beskrivelse

Rapporter et problem
BOOK PANGS
4,2/9
Lignende varer
Bok Logic And Language Models For Computer Science (Third Edition)
Bok Logic And Language Models For Computer Science (Third Edition)
Bok Logics for Computer Science : Classical and Non-Classical
Bok Logics for Computer Science : Classical and Non-Classical
Bok Logic And Language Models For Computer Science (Fourth Edition)
Bok Logic And Language Models For Computer Science (Fourth Edition)
Bok Logics for Computer and Data Sciences, and Artificial Intelligence : 992
Bok Logics for Computer and Data Sciences, and Artificial Intelligence : 992
Bok Logics In Computer Science : A Study On Extensions of Temporal and Strategic Logics : 3
Bok Logics In Computer Science : A Study On Extensions of Temporal and Strategic Logics : 3
Bok Arithmetic and Logic In Computer Systems
Bok Arithmetic and Logic In Computer Systems
Bok Logics for Computer and Data Sciences, and Artificial Intelligence : 992
Bok Logics for Computer and Data Sciences, and Artificial Intelligence : 992
Bok Computer Logic : Design Principles and Applications
Bok Computer Logic : Design Principles and Applications
Bok Representation Theorems In Computer Science : A Treatment In Logic Engineering
Bok Representation Theorems In Computer Science : A Treatment In Logic Engineering
Bok Logic for Computer Scientists
Bok Logic for Computer Scientists
Bok Linear Logic In Computer Science
Bok Linear Logic In Computer Science
Bok Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers : 702
Bok Computer Science Logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28 - October 2, 1992. Selected Papers : 702
Bok Representation Theorems In Computer Science : A Treatment In Logic Engineering
Bok Representation Theorems In Computer Science : A Treatment In Logic Engineering
Bok Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers : 832
Bok Computer Science Logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers : 832
Bok Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings : 626
Bok Computer Science Logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings : 626
Bok Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings : 533
Bok Computer Science Logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings : 533
Bok Mathematical Logic for Computer Science
Bok Mathematical Logic for Computer Science
Bok Computer and Information Science : 566
Bok Computer and Information Science : 566
Bok An Introduction To the Logic of the Computing Sciences : A Contemporary Look At Symbolic Logic
Bok An Introduction To the Logic of the Computing Sciences : A Contemporary Look At Symbolic Logic
Bok Logics In Computer Science : A Study On Extensions of Temporal and Strategic Logics : 3
Bok Logics In Computer Science : A Study On Extensions of Temporal and Strategic Logics : 3