Computational logic and the social

Computational logic and the social

For centuries, the highest level of mathematics has been seen as an isolated creative activity, to produce a proof for review and acceptance by research peers. Mathematics is now at a remarkable inflexion point, with new technology radically extending the power and limits of individuals. ‘Crowdsourc...

Bibliográfalaš dieđut
Váldodahkki:	Martin, U
Materiálatiipa:	Journal article
Almmustuhtton:	Oxford University Press 2014

Geahča maid

The logic of social science research
Dahkki: Atal, Yogesh
Almmustuhtton: (2008)

Computability and Completeness in Logics of Programs
Dahkki: Harel, David, et al.
Almmustuhtton: (2023)

Computational Interpretations of Linear logic
Dahkki: Abramsky, S
Almmustuhtton: (1993)

Mathematical Logic for Computer Scientists
Dahkki: Levin, Michael
Almmustuhtton: (2023)

The Handbook of Logic in Computer Science
Almmustuhtton: (2000)

Logical aspects of quantum computation
Dahkki: Marsden, D
Almmustuhtton: (2015)

Games as mathematics of logic and computation
Dahkki: Yamada, N
Almmustuhtton: (2017)

Logic and computer design fundamentals /
Dahkki: 255508 Mano, M. Morris, et al.
Almmustuhtton: (2000)

Computers : from logic to architecture /
Dahkki: Dowsing, R. D., (Roy D.), et al.
Almmustuhtton: (2000)

The computational complexity of logical theories /
Dahkki: 366280 Ferrante, Jeanne, et al.
Almmustuhtton: (1979)

Modern social theory and the logic of possibility
Dahkki: Valverde A., L. James, 1965-
Almmustuhtton: (2007)

Socially Responsive‚ Environmentally Friendly Logic
Dahkki: Abramsky, S
Almmustuhtton: (2006)

Logical reasoning for approximate and unreliable computation
Dahkki: Carbin, Michael (Michael James)
Almmustuhtton: (2015)

Computer Processable English and McLogic
Dahkki: Sukkarieh, J, et al.
Almmustuhtton: (1999)

Cycle detection in computation tree logic
Dahkki: Fontaine, G, et al.
Almmustuhtton: (2016)

Cycle detection in computation tree logic
Dahkki: Fontaine, G, et al.
Almmustuhtton: (2018)

Particle computation: complexity, algorithms, and logic
Dahkki: Becker, Aaron T, et al.
Almmustuhtton: (2021)

The Computational Complexity of Some Logical Theories
Dahkki: Rackoff, Charles Weill
Almmustuhtton: (2023)

Particle computation: complexity, algorithms, and logic
Dahkki: Becker, Aaron T, et al.
Almmustuhtton: (2022)

On the Computability of Region−Based Euclidean Logics
Dahkki: Nenov, Y, et al.
Almmustuhtton: (2010)

Logic and structured design for computer programmers /
Dahkki: 405314 Rood, Harold J.
Almmustuhtton: (1992)

Computer architectures for functional and logic languages /
Dahkki: 367132 Millichamp, Roger C
Almmustuhtton: (1983)

A Hoare logic for linear systems
Dahkki: Arthan, R, et al.
Almmustuhtton: (2013)

Logic design and its recent development. Part 6 : computer: aided logic design /
Dahkki: 431652 Su, Stephen Y. H.

On Role Logic
Dahkki: Kuncak, Viktor, et al.
Almmustuhtton: (2005)

Computing horn rewritings of description logics ontologies
Dahkki: Kaminski, M, et al.
Almmustuhtton: (2015)

Robust logic gates and realistic quantum computation
Dahkki: Xiao, L, et al.
Almmustuhtton: (2006)

Ribocomputing devices for sophisticated in vivo logic computation
Dahkki: Green, Alexander A., et al.
Almmustuhtton: (2017)

Fundamentals of computer engineering : logic design and microprocessors /
Dahkki: 442498 Lam, Herman, et al.
Almmustuhtton: (1988)

Computation engineering : applied automata theory and logic /
Dahkki: 180750 Gopalakrishnan, Ganesh
Almmustuhtton: (2006)

Edinburgh LCF : a mechanised logic of computation /
Dahkki: 367289 Gordon, Michael, et al.

New application of fuzzy logic in social science studies
Dahkki: Rostami, Yousef, et al.
Almmustuhtton: (2005)

Simulation computer controlled oven by using fuzzy logic
Dahkki: Che Wan Nurul Fatihah, Che Wan Fadzal
Almmustuhtton: (2009)

Implementing Internet Remost Logic on a Personal Computer
Dahkki: Konopelski, Louis J.
Almmustuhtton: (2023)

Complex cellular logic computation using ribocomputing devices
Dahkki: Green, Alexander A., et al.
Almmustuhtton: (2018)

Topological computation based on direct magnetic logic communication
Dahkki: Zhang, S, et al.
Almmustuhtton: (2015)

Remodeling Rationality: An Inquiry into Unorthodox Modes of Logic and Computation
Dahkki: Ochigame, Rodrigo
Almmustuhtton: (2022)

Racetrack memory based logic design for in-memory computing
Dahkki: Luo, Tao
Almmustuhtton: (2018)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case
Dahkki: Eiter, T, et al.
Almmustuhtton: (1995)

Hypergraph Transversal Computation and Related Problems in Logic and AI
Dahkki: Eiter, T, et al.
Almmustuhtton: (2002)