Jump to main content

yr 〜
yr

Search results 4

An introduction to the technique of formative processes in set theory

An introduction to the technique of formative processes in set theory
Paper図書
Domenico Cantone, Pietro UrsinoSpringerc2018
Other Libraries in Japan
  • Author HeadingCantone, Domenico Ursino, Pietro

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.

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, Al...

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, Eugeni...

Reached to the end of result.

RSS