Cargando…

Interdisciplinary Conference in the Formal Aspects of Cognitive Processes

Detalles Bibliográficos
Autores principales:	Storer, Thomas, Winter, David J
Lenguaje:	eng
Publicado:	Springer 1975
Materias:	Computing and Computers
Acceso en línea:	http://cds.cern.ch/record/114138

Ejemplares similares

IFIP Working Conference on Theoretical and Formal Aspects of Information Systems
por: Bubenko, Janis, et al.
Publicado: (1985)

IFIP Working Conference on Formal Description of Programming Concepts
por: Neuhold, Erich J
Publicado: (1978)

International and Interdisciplinary Conference on Modelling and Using Context
Publicado: (1997)

Annual Computer Graphics Conference : The Art and Interdisciplinary Programs Visual Proceedings
por: Crow, Judith, et al.
Publicado: (1997)

IFIP Working Conference on Formal Models and Practical Tools for Information Systems Design
por: Schneider, H J
Publicado: (1979)

SIGGRAPH 95 Computer Graphics Conference : the art and interdisciplinary programs, visual proceedings
por: O'Connell, Ken
Publicado: (1995)

Joint Conference of the 8th Asian Conference on Language, Information and Computation and the 2nd Pacific Asia Conference on Formal and Computational Linguistics
Publicado: (1994)

Quantum mechanics, mathematics, cognition and action: proposals for a formalized epistemology
por: Mugur-Schächter, Mioara, et al.
Publicado: (2003)

Conference on Logical Aspects of Computational Linguistics
Publicado: (1999)

Introduction to formal grammars
por: Gross, Maurice, et al.
Publicado: (1970)

19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE'21)
por: Arun-Kumar, S., et al.
Publicado: (2021)

4th International Conference on the Cognitive Science of Natural Language Processing
Publicado: (1995)

5th International Conference on the Cognitive Science of Natural Language Processing
Publicado: (1996)

An introduction to formal languages and automata
por: Linz, Peter
Publicado: (2017)

Formal languages and automata theory
por: Sunitha, K V N, et al.
Publicado: (2015)

Formal Verification of Neural Networks
por: Sommart, Thanapong
Publicado: (2023)

Formal models, languages and applications
por: Subramanian, K G, et al.
Publicado: (2006)

Computer science: an interdisciplinary approach
por: Sedgewick, Robert, et al.
Publicado: (2017)

Automatentheorie und formale Sprachen
por: Hotz, Günter, et al.
Publicado: (1968)

2nd International Conference on Logical Aspects of Computational Linguistics
por: Lecomte, Alain, et al.
Publicado: (1999)

A formal notation for hardware and software verification
por: Chapman, R, et al.
Publicado: (1986)

Formal languages and computation : models and their applications
por: Meduna, Alexander
Publicado: (2014)

Natural language processing : semantic aspects
por: Kapetanios, Epaminondas, et al.
Publicado: (2014)

Distributed analysis environment for HEP and interdisciplinary applications
por: Moscicki, J T
Publicado: (2003)

Introduction to programming in Java: an interdisciplinary approach
por: Sedgewick, Robert, et al.
Publicado: (2017)

Introduction to programming in Python: an interdisciplinary approach
por: Sedgewick, Robert, et al.
Publicado: (2015)

Formal verification of floating-point hardware design: a mathematical approach
por: Russinoff, David M, et al.
Publicado: (2018)

Conference on Distributed Processing
por: Collective
Publicado: (1977)

Software engineering and formal methods: 12th international conference, SEFM 2014, Grenoble, France, September 1-5, 2014, proceedings
por: Giannakopoulou, Dimitra, et al.
Publicado: (2014)

Professional penetration testing: creating and operating a formal hacking lab
por: Wilhelm, Thomas
Publicado: (2009)

The automatic analysis of formal real-time system specifications
por: Quirk, W J
Publicado: (1978)

Algebraic formalization of smart systems: theory and practice
por: Serdyukova, Natalia, et al.
Publicado: (2018)

Introduction to automata theory, formal languages and computation
por: Kandar, Shyamalendu
Publicado: (2013)

Picture languages: formal models for picture recognition
por: Rosenfeld, Azriel
Publicado: (1979)

The handbook of formal methods in human-computer interaction
por: Weyers, Benjamin, et al.
Publicado: (2017)

Automatic Data-processing Conference
por: Anthony, Robert N
Publicado: (1956)

International Conference on Information Processing
por: Gilchrist, Bruce
Publicado: (1977)

International Conference on Parallel Processing
por: Baer, Jean Loup
Publicado: (1977)

International Conference on Parallel Processing
por: Lipovski, Jack G
Publicado: (1978)

International Conference on Parallel Processing
por: Enslow, Philip H
Publicado: (1976)

Cannot write session to /tmp/vufind_sessions/sess_382n1n87ie5o3fuhf9br4uuhh8