Home Books

Books : Page 186975

Modeling time in computing
Modeling time in computing
  • PDF
  • English
  • Year: 2012
  • Author: Rossi, Matteo; Furia, Carlo A.; Morzenti, Angelo; Mandrioli, Dino et al.
Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic
Procedural semantics for hyperintensional logic: foundations and applications of transparent intensional logic
  • PDF
  • English
  • Year: 2010
  • Author: Jespersen, Bjorn; Duží, Marie; Materna, Pavel
Symbolic logic: an introduction
Symbolic logic: an introduction
  • DJVU
  • English
  • Year: 1952
  • Author: Fitch R.B.
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer
Proofs and computations Helmut Schwichtenberg ; Stanley S. Wainer
  • PDF
  • English
  • Year: 2012
  • Author: Schwichtenberg, Helmut; Wainer, Stanley S
Время в нас и время вне нас
Время в нас и время вне нас
  • DJVU
  • Russian
  • Year: 1991
  • Author: Моисеева Н.И.
Восстание машин отменяется!: мифы о роботизации
Восстание машин отменяется!: мифы о роботизации
  • FB2
  • Russian
  • Year: 2016
  • Author: Минделл Д. (Mindell D.A.)