Jump to main content

yr 〜
yr

Search results 5

Martin Davis on computability, computational logic, and mathematical foundations hbk.

Martin Davis on computability, computational logic, and mathematical foundations hbk.
Paper図書
Eugenio G. Omodeo, Alberto Policriti editorsSpringerc2016
Other Libraries in Japan
  • Author HeadingOmodeo, Eugenio Policriti, Alberto

Set theory for computing : from decision procedures to declarative programming with sets

Set theory for computing : from decision procedures to declarative programming with sets
Paper図書
Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. SchwartzSpringer Verlagc2001
Other Libraries in Japan
  • Author HeadingCantone, Domenico Omodeo, Eugenio Policriti, Alberto Schwartz, ...

On sets and graphs : perspectives on logic and combinatorics

On sets and graphs : perspectives on logic and combinatorics
Paper図書
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. TomescuSpringerc2017
Other Libraries in Japan
  • Author HeadingOmodeo, Eugenio G. Policriti, Alberto Tomescu...

Computational logic and set theory : applying formalized logic to analysis

Computational logic and set theory : applying formalized logic to analysis
Paper図書
Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeoc2011
Other Libraries in Japan
  • Author HeadingSchwartz, Jacob T. Cantone, Domenico Omodeo, Eugenio G.

Computable set theory v. 1

Computable set theory v. 1
Paper図書
Domenico Cantone, Alfredo Ferro, and Eugenio OmodeoClarendon Press1989-
Other Libraries in Japan
  • Author HeadingCantone, Domenico Ferro, Alfredo Omodeo, Eugenio

Reached to the end of result.

RSS