Jump to main content

yr 〜
yr

Search results 39

Programming with higher-order logic

Programming with higher-order logic
Paper図書
Dale Miller, Gopalan NadathurCambridge University Press2012
Other Libraries in Japan
  • Author HeadingMiller, Dale Nadathur, Gopalan

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings : pbk

Certified programs and proofs : second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings : pbk
Paper図書
Chris Hawblitzel, Dale Miller (eds.)Springerc2012
Other Libraries in Japan
  • Author HeadingCPP 2012 Hawblitzel, Chris Miller, Dale

A companion to Mill (Blackwell companions to philosophy ; 63)

A companion to Mill (Blackwell companions to philosophy ; 63)
Paper図書
edited by Christopher Macleod and Dale E. Miller.Wiley Blackwell2017.<HD24-B6>
National Diet LibraryOther Libraries in Japan
  • Author HeadingMacleod, Christopher. Miller, Dale E., 1966-

The Cambridge companion to utilitarianism

The Cambridge companion to utilitarianism
Paper図書
edited by Ben Eggleston, Dale E. Miller.Cambridge University Press2014.<H51-B37>
National Diet Library
  • Author HeadingEggleston, Ben, 1971- Miller, Dale E., 1966-

Certified programs and proofs : second international conference, CPP 2012 : Kyoto, Japan, December 13-15, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7679)

Certified programs and proofs : second international conference, CPP 2012 : Kyoto, Japan, December 13-15, 2012 : proceedings : Dec 2012, Kyoto, Japan. (Lecture Notes in Computer Science ; 7679)
Paper図書
Springerc2012.<M17-13-1175>
National Diet Library
  • Author HeadingCPP 2012 (2012 : Kyoto, Japan) Hawblitzel, Chris. Miller, Dale (Dale A.)

Moral relativism and pluralism : pbk

Moral relativism and pluralism : pbk
Paper図書
David B. WongCambridge University Press2023
Other Libraries in Japan
  • Author HeadingWong, David B. Eggleston, Ben Miller, Dale E.

Automated reasoning : 6th international joint conference, IJCAR 2012 : Manchester, UK, June 26-29, 2012 : proceedings : Jun 2012, Manchester, UK. (Lecture Notes in Computer Science ; 7364. Lecture Notes in Artificial Intelligence)

Automated reasoning : 6th international joint conference, IJCAR 2012 : Manchester, UK, June 26-29, 2012 : proceedings : Jun 2012, Manchester, UK. (Lecture Notes in Computer Science ; 7364. Lecture Notes in Artificial Intelligence)
Paper図書
Springerc2012.<M17-13-565>
National Diet Library
  • Author Heading...d, Dr.rer.nat. Miller, Dale (Dale A.) Sattler, Uli.

Aristotle's ethics : Nicomachean and Eudemian themes : pbk

Aristotle's ethics : Nicomachean and Eudemian themes : pbk
Paper図書
Paula GottliebCambridge University Press2022
Other Libraries in Japan
  • Author HeadingGottlieb, Paula Eggleston, Ben Miller, Dale E.

Hume on the nature of morality : pbk

Hume on the nature of morality : pbk
Paper図書
Elizabeth S. RadcliffeCambridge University Press2022
Other Libraries in Japan
  • Author HeadingRadcliffe, Elizabeth Schmidt Eggleston, Ben Miller, Dale E.

Kant's ethics : pbk

Kant's ethics : pbk
Paper図書
Kate A. MoranCambridge University Press2022
Other Libraries in Japan
  • Author HeadingMoran, Kate A. Eggleston, Ben Miller, Dale E.

Happiness and well-being : pbk

Happiness and well-being : pbk
Paper図書
Chris HeathwoodCambridge University Press2021
Other Libraries in Japan
  • Author HeadingHeathwood, Chris Eggleston, Ben Miller, Dale E.

Moral psychology : pbk

Moral psychology : pbk
Paper図書
Christian B. MillerCambridge University Press2021
Other Libraries in Japan
  • Author HeadingMiller, Christian B. Eggleston, Ben Miller, Dale E.

Parfit's ethics : pbk

Parfit's ethics : pbk
Paper図書
Richard Yetter ChappellCambridge University Press2021
Other Libraries in Japan
  • Author HeadingChappell, Richard Yetter Eggleston, Ben Miller, Dale E.

Subjective versus objective moral wrongness : pbk

Subjective versus objective moral wrongness : pbk
Paper図書
Peter A. GrahamCambridge University Press2021
Other Libraries in Japan
  • Author HeadingGraham, Peter A. Eggleston, Ben Miller, Dale E.

Contractualism : pbk

Contractualism : pbk
Paper図書
Jussi SuikkanenCambridge University Press2020
Other Libraries in Japan
  • Author HeadingSuikkanen, Jussi Eggleston, Ben Miller, Dale E.

Contractarianism : pbk

Contractarianism : pbk
Paper図書
Michael MoehlerCambridge University Press2020
Other Libraries in Japan
  • Author HeadingMoehler, Michael Eggleston, Ben Miller, Dale E.

Moral responsibility reconsidered : pbk

Moral responsibility reconsidered : pbk
Paper図書
Gregg D. Caruso, Derk PereboomCambridge University Press2022
Other Libraries in Japan
  • Author HeadingCaruso, Gregg D. Pereboom, Derk Eggleston, Ben Miller, Dale E.

Moral theory and climate change : ethical perspectives on a warming planet : hbk

Moral theory and climate change : ethical perspectives on a warming planet : hbk
Paper図書
edited by Dale E. Miller and Ben EgglestonRoutledge2020
Other Libraries in Japan
  • Author HeadingMiller, Dale E. Eggleston, Ben

Aquinas's ethics : pbk

Aquinas's ethics : pbk
Paper図書
Thomas M. Osborne Jr.Cambridge University Press2020
Other Libraries in Japan
  • Author HeadingOsborne, Thomas M. (Thomas Michael) Eggleston, Ben Miller, Dale E.

Logic programming : proceedings of the 1993 International Symposium

Logic programming : proceedings of the 1993 International Symposium
Paper図書
edited by Dale MillerMIT Pressc1993
Other Libraries in Japan
  • Author HeadingMiller, Dale Association for Logic Program...
RSS