「"Verification (Logic)"」の検索結果 | NDLサーチ

検索結果 13 件

タイトルでまとめる

Veracity of big data : machine learning and other approaches to verifying truthfulness

紙図書

Vishnu PendyalaApressc2018

全国の図書館

件名Big data Verification (Logic) -- Computer programs Computer...
件名（識別子）Big data Verification (Logic) -- Computer programs Computer...

Veracity of data : from truth discovery computation algorithms to models of misinformation dynamics

紙図書

Laure Berti-Équille and Javier Borge-HolthoeferMorgan & Claypool Publishersc2016

全国の図書館

件名Verification (Logic) -- Computer programs Computer...
件名（識別子）Verification (Logic) -- Computer programs Computer...

Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings

紙図書

Dennis Dams ... [et al.], (eds.)Springerc1999

全国の図書館

件名...heorem proving Verification (Logic)
件名（識別子）...heorem proving Verification (Logic)

La vérification

紙図書

Gilles-Gaston GrangerÉditions Odile Jacobc1992

全国の図書館

件名Verification (Logic)
件名（識別子）Verification (Logic)

Verifying temporal properties of systems : Boston : Basel

紙図書

Julian Charles BradfieldBirkhäuserc1992

全国の図書館

件名Automatic theorem proving Petri nets Verification (Logic)
件名（識別子）Automatic theorem proving Petri nets Verification (Logic)

Verification in economics and history : a sequel to scientifization

紙図書

O.F. Hamouda and B.B. PriceRoutledge1991

全国の図書館

件名Economics -- Methodology History -- Methodology Verification (Logic)
件名（識別子）Economics -- Methodology History -- Methodology Verification (Logic)

Der Normativismus in der Betriebswirtschaftslehre : ein Beitrag zur Methodendiskussion in den Wirtschaftswissenschaften unter besonderer Berücksichtigung des Konzepts der Brückenprinzipien von Hans Albert : hard : pbk

紙図書

Jörn KrögerPoeschelc1981

全国の図書館

件名Management -- Philosophy Albert, Hans, 1921- Criticism (Philosophy) Verification (Logic)
件名（識別子）Management -- Philosophy Albert, Hans, 1921- Criticism (Philosophy) Verification (Logic)

Logic and argument

紙図書

C. A. KirwanNew York University Press1978

全国の図書館

件名Logic Reasoning Verification (Logic) Fallacies (Logic)
件名（識別子）Logic Reasoning Verification (Logic) Fallacies (Logic)

Methodological pragmatism : a systems-theoretic approach to the theory of knowledge

紙図書

Nicholas RescherBlackwell1977

全国の図書館

件名Pragmatism Knowledge, Theory of Verification (Logic) Skepticism
件名（識別子）Pragmatism Knowledge, Theory of Verification (Logic) Skepticism

Confirmation and confirmability

紙図書

G. SchlesingerClarendon Press1974

全国の図書館

件名Verification (Logic)
件名（識別子）Verification (Logic)

Theorie und Rechtfertigung : Unters. zum Rechtfertigungsproblem axiomat. Theorien in d. Wissenschaftstheorie

紙図書

A. SchreiberVieweg1975

全国の図書館

件名Verification (Logic) Axiomatic set theory Science ...
件名（識別子）Verification (Logic) Axiomatic set theory Science ...

Emerson's demanding optimism

紙図書

Gertrude Reif HughesLouisiana State University Pressc1984

全国の図書館

件名... in literature Verification (Logic) in literature Belief and doub...
件名（識別子）... in literature Verification (Logic) in literature Belief and doub...

Induction, probability, and confirmation

紙図書

edited by Grover Maxwell and Robert M. Anderson, Jr., for the Minnesota Center for Philosophy of ScienceUniversity of Minnesota Pressc1975

全国の図書館

件名Verification (Logic) -- Addresses, essays, lecture...
件名（識別子）Verification (Logic) -- Addresses, essays, lecture...

検索結果は以上です。