Reasoning about Codata

Reasoning about Codata

Show other versions (1)

Bibliographic Details
Main Author:	Hinze, R
Other Authors:	Horváth, Z
Format:	Book
Published:	2010

Similar Items

Reasoning about codata
by: Hinze, R
Published: (2010)

Proceedings of the International Codata Conference /
by: International Codata Conference (6th : 1978: Santa Flavia), et al.
Published: (1979)

HIR Collaborating with the CODATA Conference
by: Hyejung Chang, et al.
Published: (2013-12-01)

The CODATA Role in Promotion of Data Quality
by: David R. Lide
Published: (2018-01-01)

The CODATA-RDA Data Steward school
by: Daniel Bangert, et al.
Published: (1970-01-01)

Proceedings of the 20th International CODATA Conference Scientific Data and Knowledge within the Information Society CODATA 2006
by: Diane Smith Rumble, et al.
Published: (2007-03-01)

Thoughts on Starting the CODATA Data Science Journal
by: John Rumble
Published: (2023-06-01)

Selection, Appraisal, and Retention of Digital Scientific Data: Highlights of an ERPANET/CODATA Workshop
by: E Esanu, et al.
Published: (2006-01-01)

International Scientific Data, Standards, and Digital Libraries: An NSF NSDL (U.S.) and CODATA Workshop
by: Laura M Bartolo
Published: (2006-11-01)

A School 'and' a Network: CODATA-RDA Data Science Summer Schools Alumni Survey
by: Louise Bezuidenhout, et al.
Published: (2021-02-01)

Building an International Consensus on Multi-Disciplinary Metadata Standards: A CODATA Case History in Nanotechnology
by: John Rumble, et al.
Published: (2019-04-01)

Seminar Cum Meeting Report: Codata Task Group for Exchangeable Material Data Representation to Support Research and Education
by: T Ashino, et al.
Published: (2008-11-01)

Reason isomorphically!
by: Hinze, R, et al.
Published: (2010)

Reason Isomorphically!
by: Hinze, R, et al.
Published: (2010)

The Need for Data Policy in Times of Crisis 'An IDPC CODATA Report Following a Scientific Workshop Held on 22 October 2022 in Leiden, The Netherlands'
by: Burcak Basbug Erkan, et al.
Published: (2023-11-01)

Just do it: simple monadic equational reasoning
by: Gibbons, J, et al.
Published: (2011)

Just do It: Simple Monadic Equational Reasoning
by: Gibbons, J, et al.
Published: (2011)

Just do it: Simple monadic equational reasoning
by: Gibbons, J, et al.
Published: (2011)

Just do It: Simple Monadic Equational Reasoning
by: Gibbons, J, et al.
Published: (2011)

Reasoning about uncertainty /
by: Halpern, Joseph Y., 1953-
Published: (2005)

Ruling reasons: a defense of constructivism about reasons and objectivism about welfare
by: Fan, Z
Published: (2021)

Reasoning about causality in games
by: Hammond, L, et al.
Published: (2023)

Reasoning about coalitional games.
by: Ågotnes, T, et al.
Published: (2009)

Reasoning About the Transfer of Control
by: Hoek, W, et al.
Published: (2014)

Reasoning about theoretical entities /
by: 198806 Forster, Thomas
Published: (2003)

Reasoning about Preference Models
by: Wellman, Michael Paul
Published: (2023)

Reasoning about Relaxed Programs
by: Carbin, Michael, et al.
Published: (2011)

Representations for Reasoning About Change
by: Simmons, Reid G., et al.
Published: (2004)

Reasoning about Graph Programs
by: Detlef Plump
Published: (2016-09-01)

Reasoning about Social Phenomena
by: Tomasz Jarmużek, et al.
Published: (2021-06-01)

A logic for reasoning about ambiguity
by: Halpern, J, et al.
Published: (2014)

Reasoning about Strategies: on the Satisfiability Problem
by: Mogavero, F, et al.
Published: (2017)

Qualitative reasoning about physical systems /
by: Babrow, Daniel G.
Published: (1984)

Reasoning about Strategies: on the Satisfiability Problem
by: Fabio Mogavero, et al.
Published: (2017-03-01)

Reasoning about Confidence in Goal Satisfaction
by: Malak Baslyman, et al.
Published: (2022-09-01)

Reasoning with Expectations About Causal Relations
by: Gärdenfors Peter
Published: (2022-12-01)

The Complexity of Reasoning about and with Chemical Representations
by: Vicente Talanquer
Published: (2022-11-01)

Automated Reasoning About Classical Mechanics
by: Wong, Leon
Published: (2004)

Meta-Rules: Reasoning About Control
by: Davis, et al.
Published: (2004)

Automated reasoning about classical mechanics
by: Wong, Leon Chih Wen
Published: (2007)