Jump to main content

yr 〜
yr

Search results 8

Automated theorem-proving in non-classical logics : Pitman : Wiley

Automated theorem-proving in non-classical logics : Pitman : Wiley
Paper図書
Paul B. Thistlewaite, Michael A. McRobbie and Robert K. MeyerPitman1988
Other Libraries in Japan
  • Related MaterialResearch notes in theoretical computer science
  • Periodical TitleResearch notes in theoretical computer science

Fully abstract models of programming languages : pbk. : U.K. : pbk. : U.S.

Fully abstract models of programming languages : pbk. : U.K. : pbk. : U.S.
Paper図書
Allen StoughtonPitman1988
Other Libraries in Japan
  • Related MaterialResearch notes in theoretical computer science
  • Periodical TitleResearch notes in theoretical computer science

Parallel complexity theory : Wiley : Pitman

Parallel complexity theory : Wiley : Pitman
Paper図書
Ian ParberryPitman1987
Other Libraries in Japan
  • Related MaterialResearch notes in theoretical computer science
  • Periodical TitleResearch notes in theoretical computer science

Studies in complexity theory :pbk

Studies in complexity theory :pbk
Paper図書
Ronald V. Book (editor)Pitman1986
Other Libraries in Japan
  • Related MaterialResearch notes in theoretical computer science
  • Periodical TitleResearch notes in theoretical computer science

Canonical forms in finitely presented algebras Wiley : pbk.

Canonical forms in finitely presented algebras Wiley : pbk.
Paper図書
Philippe Le ChenadecPitman1986
Other Libraries in Japan
  • Related MaterialResearch notes in theoretical computer science
  • Periodical TitleResearch notes in theoretical computer science

Computation : computability, similarity, and duality pbk. Wiley : pbk.

Computation : computability, similarity, and duality pbk. Wiley : pbk.
Paper図書
Hong Jia-WeiPitman1986
Other Libraries in Japan
  • Related MaterialResearch notes in theoretical computer science
  • Periodical TitleResearch notes in theoretical computer science

Categorical combinators, sequential algorithms and functional programming

Categorical combinators, sequential algorithms and functional programming
Paper図書
P.-L. CurienPitman1986
Other Libraries in Japan
  • Related MaterialResearch notes in theoretical computer science
  • Periodical TitleResearch notes in theoretical computer science

Research notes in theoretical computer science

Research notes in theoretical computer science
Paper図書
Pitman
Other Libraries in Japan

Reached to the end of result.

RSS