Molecular Logic-based Computation :: SCD d'Orléans

Molecular Logic-based Computation

Molecular Logic-based Computation

Guardat en:

Dades bibliogràfiques
Autor principal:	Prasanna de Silva, A.
Format:	Livre numérique
Idioma:	Anglais
Publicat:	London : Royal Society of Chemistry 2012. London :
Accés en línia:	Accès sur la plateforme Royal Society of Chemistry Accès sur la plateforme ISTEX (corpus RSC) Accès Université d'Orléans Accès INSA CVL
Nota:	RSC e-books (Licence nationale) RSC e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc

Ítems similars

Logic and Computation
Publicat: (2023)

Logic, Language and Computation

Computation theory and logic
per: Börger, Egon, 1946-

Logic for Computer Scientists
per: Schöning, Uwe, 1955-

Journal of logic and computation.
Publicat: (1990)

Logics in computer science : a study on extensions of temporal and strategic logics
per: Mogavero, Fabio, 19..-...., chercheur en informatique
Publicat: (2013)

Mathematical logic for computer science
per: Zhongwan, Lu
Publicat: (1989)

Axiomatising the logic of computer programming
per: Goldblatt, Robert, 1949-

Computation, Logic, Philosophy : A Collection of Essays
per: Wang, Hao, 1921-1995

Logic, language, and computation : festschrift in honor of Satoru Takasu
per: Jones, Neil D., 1941-

Logic-Based Artificial Intelligence

Memory-Based Logic Synthesis
per: Sasao, Tsutomu

Logic, Language, and Computation : 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers
per: Bezhanishvili, Guram
Publicat: (2013)

Deontic logic in computer science : 7th International workshop on deontic logic in computer science, Deon 2004, Madeira, Portugal, May 26-28, 2004 : proceedings

Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht
per: Mycielski, Jan, 1932-2025

Control using logic-based switching

Mathematics, computer science and logic : a never ending story : the Bruno Buchberger Festschrift

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 28-30, 1994 : proceedings

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings

Computer-Based Design and Manufacturing : An Information-Based Approach
per: Nasr, Emad Abouel, et al.

Logic from Computer Science : Proceedings of a Workshop held November 13-17, 1989

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Practical Considerations in Computer-Based Testing
per: Parshall, Cynthia G., et al.

Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers

Journal of computer-aided molecular design.
Publicat: (1997)

Journal of Computer-Aided Molecular Design.

Computer science logic : 10th international workshop, CSL 96 : Annual Conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : proceedings

Logic and Computer Science : Lectures given at the 1st Session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20 28, 1988
per: Homer, Steven, et al.

Logic Synthesis for FSM-Based Control Units
per: Barkalov, Alexander, et al.

Fuzzy logic-based algorithms for video de-interlacing
per: Brox, Piedad, 1979-, et al.

Computer science logic : 12th international workshop, CSL '98 : [7th] annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings

Computer science logic : 9th international workshop, CSL '95 : annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers

Computer science logic : 15th international workshop, CSL 2001 : 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

Computer science logic : 18th International Workshop, CSL 2004 : 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004 : proceedings

Computer science logic : 11th international workshop, CSL '97 : [6th] annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : procedings

Computer science logic : 14th International Workshop, CSL 2000 : [9th] Annual Conference of the EACSL, Fischbachau, Germany, August 21 26, 2000 : proceedings

Computer-Based Instruction in Military Environments

Computer Vision and Sensor-Based Robots

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales