Developments in Language Theory 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers /

Developments in Language Theory 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers /

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Ito, Masami (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Toyama, Masafumi (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Έκδοση:	1st ed. 2003.
Σειρά:	Lecture Notes in Computer Science, 2450
Θέματα:	Mathematical logic. Computers. Computer logic. Computer science-Mathematics. Mathematical Logic and Formal Languages. Science, Humanities and Social Sciences, multidisciplinary. Computation by Abstract Devices. Logics and Meanings of Programs. Discrete Mathematics in Computer Science.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

Developments in Language Theory 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings /
Έκδοση: (2003)

Computer Science Logic 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, Austria, August 25-30, 2003, Proceedings /
Έκδοση: (2003)

Logic Based Program Synthesis and Transformation 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /
Έκδοση: (2003)

Advances in Learning Classifier Systems 4th International Workshop, IWLCS 2001, San Francisco, CA, USA, July 7-8, 2001. Revised Papers /
Έκδοση: (2002)

Types for Proofs and Programs Second International Workshop, TYPES 2002, Berg en Dal, The Netherlands, April 24-28, 2002, Selected Papers /
Έκδοση: (2003)

The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic /
ανά: Dau, Frithjof, κ.ά.
Έκδοση: (2003)

Beyond Two: Theory and Applications of Multiple-Valued Logic
Έκδοση: (2003)

Nonsymmetric Operads in Combinatorics
ανά: Giraudo, Samuele, κ.ά.
Έκδοση: (2018)

Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
Έκδοση: (2019)

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
Έκδοση: (2019)

Inductive Synthesis of Functional Programs Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning /
ανά: Schmid, Ute, κ.ά.
Έκδοση: (2003)

Unifying Petri Nets Advances in Petri Nets /
Έκδοση: (2001)

Implementation and Application of Automata 7th International Conference, CIAA 2002, Tours, France, July 3-5, 2002, Revised Papers /
Έκδοση: (2003)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings /
Έκδοση: (2003)

Logic Functions and Equations Binary Models for Computer Science /
ανά: Posthoff, Christian, κ.ά.
Έκδοση: (2019)

Developments in Language Theory 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001. Revised Papers /
Έκδοση: (2002)

Algorithms and Complexity 5th Italian Conference, CIAC 2003, Rome, Italy, May 28-30, 2003, Proceedings /
ανά: Petreschi, Rosella, κ.ά.
Έκδοση: (2003)

Applications and Theory of Petri Nets 2001 22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings /
Έκδοση: (2001)

Abstraction, Reformulation, and Approximation 5th International Symposium, SARA 2002, Kananaskis, Alberta, Canada, August 2-4, 2002, Proceedings /
Έκδοση: (2002)

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings /
Έκδοση: (2019)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση: (2018)

Developments in Language Theory 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
Έκδοση: (2018)

Machines, Computations, and Universality Third International Conference, MCU 2001 Chisinau, Moldava, May 23-27, 2001 Proceedings /
Έκδοση: (2001)

Isabelle/HOL A Proof Assistant for Higher-Order Logic /
ανά: Nipkow, Tobias, κ.ά.
Έκδοση: (2002)

Logical Foundations of Computer Science 4th International Symposium, LFCS'97, Yaroslavl, Russia, July, 6 - 12, 1997, Proceedings /
Έκδοση: (1997)

Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings /
Έκδοση: (2002)

Typed Lambda Calculi and Applications 6th International Conference, TLCA 2003, Valencia, Spain, June 10-12, 2003, Proceedings /
Έκδοση: (2003)

Coalgebraic Methods in Computer Science 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14-15, 2018, Revised Selected Papers /
Έκδοση: (2018)

Automata Implementation First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29 - 31, 1996, Revised Papers /
Έκδοση: (1997)

Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers /
Έκδοση: (2003)

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3-5, 2018, Revised Selected Papers /
Έκδοση: (2019)

Implementation and Application of Automata 6th International Conference, CIAA 2001, Pretoria, South Africa, July 23-25, 2001. Revised Papers /
Έκδοση: (2002)

Ewa Orłowska on Relational Methods in Logic and Computer Science
Έκδοση: (2018)

Artificial Intelligence, Automated Reasoning, and Symbolic Computation Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings /
Έκδοση: (2002)

Theoretical Computer Science 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings /
Έκδοση: (2003)

Theoretical Computer Science 7th Italian Conference, ICTCS 2001, Torino, Italy, October 4-6, 2001. Proceedings /
Έκδοση: (2001)

Fundamentals of Computation Theory 14th International Symposium, FCT 2003, Malmö, Sweden, August 12-15, 2003, Proceedings /
Έκδοση: (2003)

Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
Έκδοση: (2000)

New Directions in Rough Sets, Data Mining, and Granular-Soft Computing 7th International Workshop, RSFDGrC'99, Yamaguchi, Japan, November 9-11, 1999 Proceedings /
Έκδοση: (1999)

Language, Logic, and Computation 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /
Έκδοση: (2019)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών

Cannot write session to /tmp/vufind_sessions/sess_8ugvn3lp8ohr5iudclntifcipc