Logic, language and meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19 - 21, 2011 ; revised selected papers

Logic, language and meaning 18th Amsterdam Colloquium, Amsterdam, The Netherlands, December 19 - 21, 2011 ; revised selected papers

Weitere Versionen anzeigen (1)

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Heidelberg [u.a.] Springer 2012
Schriftenreihe:	Lecture notes in computer science 7218
Schlagworte:	Informationssystem Zeichensprache Informatik Natürliche Sprache Logische Sprache Formale Sprache Software Engineering Semantik Logischer Entwurf Künstliche Intelligenz Pragmatik Konferenzschrift > 2011 > Amsterdam
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Logic, language, formalism, informalism
von: Richardson, Daniel
Veröffentlicht: (1995)

Electronic logic circuits
von: Gibson, John R. 1935-
Veröffentlicht: (1992)

Electronic logic circuits
von: Gibson, John R. 1935-
Veröffentlicht: (1979)

Kurzfassungen der Vorträge zur Arbeitstagung Entwurf von Schaltsystemen

Logic design of digital systems
von: Dietmeyer, Donald L.
Veröffentlicht: (1972)

Logic Design of digital systems
von: Dietmeyer, Donald L.
Veröffentlicht: (1978)

Switching circuits and logical design 6. print.
von: Caldwell, Samuel Hawks 1904-
Veröffentlicht: (1965)

Multiple-valued logic in VLSI design
Veröffentlicht: (1991)

Logic designer's handbook
von: Parr, E. A.
Veröffentlicht: (1987)

Formale Sprachen Mit Anwendungen auf die Beschreibung natürlicher Sprachen
von: Klenk, Ursula 1943-
Veröffentlicht: (2017)

Digital logic design principles
von: Balabanian, Norman, et al.
Veröffentlicht: (2001)

Denken in Strukturen und seine Geschichte von der Kraft des mathematischen Beweises
von: Honerkamp, Josef 1941-2022
Veröffentlicht: (2018)

Formal Techniques for Safety-Critical Systems Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
von: Artho, Cyrille 1976-
Veröffentlicht: (2014)

Answer set programming for continuous domains a fuzzy logic approach
Veröffentlicht: (2012)

Validation of Evolving Software
Veröffentlicht: (2015)

Contemporary logic design
von: Katz, Randy H.
Veröffentlicht: (2000)

Design of digital computers An introd. With 447 fig.
von: Gschwind, Hans W., et al.
Veröffentlicht: (1975)

Design and implementation of a table-driven compiler system
von: Lin, Chung L., et al.
Veröffentlicht: (1967)

Betriebssysteme eine moderne Einführung
von: Bic, Lubomir, et al.
Veröffentlicht: (1990)

Low power design methodologies
Veröffentlicht: (1997)

Abstract state machines, alloy, B, TLA, VDM, and Z 5th international conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings
Veröffentlicht: (2016)

Abstract state machines, alloy, B, TLA, VDM, and Z 6th international conference, ABZ 2018, Southhampton, UK, June 5-8, 2018 : proceedings
Veröffentlicht: (2018)

Formale Sprachen mit Anwendungen auf die Beschreibung natürlicher Sprachen
von: Klenk, Ursula 1943-
Veröffentlicht: (1980)

Model and design of improved current mode logic gates differential and single-ended
von: Gupta, Kirti ca. 20./21. Jahrhundert, et al.
Veröffentlicht: (2020)

Logical effort designing fast CMOS Circuits
von: Sutherland, Ivan E., et al.
Veröffentlicht: (1999)

Disciplines in combinational and sequential circuit design
von: Oberman, Roelof M.
Veröffentlicht: (1970)

Logic design of nanoICs
von: Januškevič, Svetlana N., et al.
Veröffentlicht: (2005)

Switching circuits and logical design
von: Caldwell, Samuel Hawks 1904-
Veröffentlicht: (1959)

Der logische Entwurf von Schaltkreisen Grundlagen der Synthese von Schaltkreisen in einheitlicher Darstellung ; Eigenschaften und Anwendungen von Schaltkreisen aus Relais, Röhren, Transistoren und Magnetkernen
von: Caldwell, Samuel Hawks 1904-
Veröffentlicht: (1964)

Switching circuits and logical design
von: Caldwell, Samuel Hawks 1904-
Veröffentlicht: (1960)

Logic design of digital systems
von: Dietmeyer, Donald L.
Veröffentlicht: (1988)

Handbook of gestures Colombia and the United States. With illustr. by Mel Pekarsky
von: Saitz, Robert L., et al.
Veröffentlicht: (1972)

Logic synthesis using Synopsys
von: Kurup, Pran, et al.
Veröffentlicht: (1995)

Logic and computer design fundamentals
von: Mano, M. Morris, et al.
Veröffentlicht: (2008)

Computer-aided logic synthesis based on a new multi-level hardware design language - LALSD II
von: Huang, Chi-Lai
Veröffentlicht: (1983)

Pragmatik = Pragmatics

Pratiques et langages gestuels
Veröffentlicht: (1977)

SLR '83 proceedings of the III. International Symposium on Sign Language Research, Rome, June 22 - 26, 1983
Veröffentlicht: (1985)

Writing without letters
Veröffentlicht: (1976)

A Dictionary of American sign language on linguistic principles
von: Stokoe, William C. 1919-2000, et al.
Veröffentlicht: (1965)