Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings /

Conceptual Structures: Standards and Practices 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999, Proceedings /

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in computer science. This conference illustrates how a maturing subdisc...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Tepfenhart, William M. (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Cyre, Walling (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1999.
Έκδοση:	1st ed. 1999.
Σειρά:	Lecture Notes in Artificial Intelligence ; 1640
Θέματα:	Artificial intelligence. Computers. Computer science-Mathematics. Mathematical logic. Algorithms. Artificial Intelligence. Theory of Computation. Discrete Mathematics in Computer Science. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Conceptual Structures: Broadening the Base 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001, Proceedings /
Έκδοση: (2001)

Conceptual Structures: Integration and Interfaces 10th International Conference on Conceptual Structures, ICCS 2002 Borovets, Bulgaria, July 15-19, 2002 Proceedings /
Έκδοση: (2002)

Conceptual Structures: Logical, Linguistic, and Computational Issues 8th International Conference on Conceptual Structures, ICCS 2000 Darmstadt, Germany, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

Conceptual Structures for Knowledge Creation and Communication 11th International Conference on Conceptual Structures, ICCS 2003, Dresden, Germany, July 21-25, 2003, Proceedings /
Έκδοση: (2003)

Computer Science - Theory and Applications 14th International Computer Science Symposium in Russia, CSR 2019, Novosibirsk, Russia, July 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)

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

Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings /
Έκδοση: (1998)

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

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

Computational Learning Theory 14th Annual Conference on Computational Learning Theory, COLT 2001 and 5th European Conference on Computational Learning Theory, EuroCOLT 2001, Amsterdam, The Netherlands, July 16-19, 2001, Proceedings /
Έκδοση: (2001)

Computational Learning Theory 15th Annual Conference on Computational Learning Theory, COLT 2002, Sydney, Australia, July 8-10, 2002. Proceedings /
Έκδοση: (2002)

Algorithmic Learning Theory 9th International Conference, ALT'98, Otzenhausen, Germany, October 8-10, 1998 Proceedings /
Έκδοση: (1998)

Learning Theory and Kernel Machines 16th Annual Conference on Computational Learning Theory and 7th Kernel Workshop, COLT/Kernel 2003, Washington, DC, USA, August 24-27, 2003, Proceedings /
Έκδοση: (2003)

Algorithms for Computational Biology 6th International Conference, AlCoB 2019, Berkeley, CA, USA, May 28-30, 2019, Proceedings /
Έκδοση: (2019)

Learning and Intelligent Optimization 12th International Conference, LION 12, Kalamata, Greece, June 10-15, 2018, Revised Selected Papers /
Έκδοση: (2019)

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

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

Application and Theory of Petri Nets and Concurrency 40th International Conference, PETRI NETS 2019, Aachen, Germany, June 23-28, 2019, Proceedings /
Έκδοση: (2019)

Artificial Life and Evolutionary Computation 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Artificial Intelligence and Symbolic Computation International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers /
Έκδοση: (2001)

Artificial Intelligence and Symbolic Computation 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings /
Έκδοση: (2004)

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

Machine Learning: ECML 2001 12th European Conference on Machine Learning, Freiburg, Germany, September 5-7, 2001. Proceedings /
Έκδοση: (2001)

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
Έκδοση: (2018)

Advances in Computing Science - ASIAN 2000 6th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings /
Έκδοση: (2000)

Conceptual Structures: Fulfilling Peirce's Dream Fifth International Conference on Conceptual Structures, ICCS'97, Seattle, Washington, USA, August 3-8, 1997. Proceedings. /
Έκδοση: (1997)

Quantitative Evaluation of Systems 16th International Conference, QEST 2019, Glasgow, UK, September 10-12, 2019, Proceedings /
Έκδοση: (2019)

Logic, Language, Information, and Computation 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
Έκδοση: (2019)

Computational Learning Theory 4th European Conference, EuroCOLT'99 Nordkirchen, Germany, March 29-31, 1999 Proceedings /
Έκδοση: (1999)

Proof Theory in Computer Science International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings /
Έκδοση: (2001)

Artificial Life and Evolutionary Computation 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018, Revised Selected Papers /
Έκδοση: (2019)

Computational Intelligence Methods for Bioinformatics and Biostatistics 14th International Meeting, CIBB 2017, Cagliari, Italy, September 7-9, 2017, Revised Selected Papers /
Έκδοση: (2019)

Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings /
Έκδοση: (2018)

Computational Methods in Systems Biology 17th International Conference, CMSB 2019, Trieste, Italy, September 18-20, 2019, Proceedings /
Έκδοση: (2019)

Engineering Trustworthy Software Systems 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018, Tutorial Lectures /
Έκδοση: (2019)

Automated Deduction in Geometry International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers /
Έκδοση: (1997)

Unconventional Computation and Natural Computation 18th International Conference, UCNC 2019, Tokyo, Japan, June 3-7, 2019, Proceedings /
Έκδοση: (2019)

DNA Computing 8th International Workshop on DNA Based Computers, DNA8, Sapporo, Japan, June 10-13, 2002, Revised Papers /
Έκδοση: (2003)

Local Search for Planning and Scheduling ECAI 2000 Workshop, Berlin, Germany, August 21, 2000. Revised Papers /
Έκδοση: (2001)

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