Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /

Theory and Application of Diagrams First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000 Proceedings /

Diagrams 2000 is dedicated to the memory of Jon Barwise. Diagrams 2000 was the ?rst event in a new interdisciplinary conference series on the Theory and Application of Diagrams. It was held at the University of Edinburgh, Scotland, September 1-3, 2000. Driven by the pervasiveness of diagrams in huma...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Anderson, Michael (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Cheng, Peter (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Haarslev, Volker (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
Έκδοση:	1st ed. 2000.
Σειρά:	Lecture Notes in Artificial Intelligence ; 1889
Θέματα:	Artificial intelligence. Computers. Software engineering. Computer programming. Computer science-Mathematics. User interfaces (Computer systems). Artificial Intelligence. Theory of Computation. Software Engineering/Programming and Operating Systems. Programming Techniques. Discrete Mathematics in Computer Science. User Interfaces and Human Computer Interaction.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Foundations of Software Technology and Theoretical Computer Science 17th Conference, Kharagpur, India, December 18-20, 1997. Proceedings /
Έκδοση: (1997)

Software Engineering for Large-Scale Multi-Agent Systems Research Issues and Practical Applications /
Έκδοση: (2003)

Theory and Applications of Satisfiability Testing - SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9-12, 2018, Proceedings /
Έκδοση: (2018)

Intelligent Tutoring Systems 5th International Conference, ITS 2000, Montreal, Canada, June 19-23, 2000 Proceedings /
Έκδοση: (2000)

Advances in Learning Software Organizations 4th International Workshop, LSO 2002, Chicago, IL, USA, August 6, 2002, Revised Papers /
Έκδοση: (2003)

Intelligent Systems and Soft Computing Prospects, Tools and Applications /
Έκδοση: (2000)

Diagrammatic Representation and Inference Second International Conference, Diagrams 2002 Callaway Gardens, GA, USA, April 18-20, 2002 Proceedings /
Έκδοση: (2002)

Theorem Proving in Higher Order Logics 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings /
Έκδοση: (2001)

Artificial Intelligence and Games
ανά: Yannakakis, Georgios N., κ.ά.
Έκδοση: (2018)

Software Technologies: Applications and Foundations STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers /
Έκδοση: (2018)

Advances in Artificial Life 7th European Conference, ECAL 2003, Dortmund, Germany, September 14-17, 2003, Proceedings /
Έκδοση: (2003)

Logic Programming and Nonmonotonic Reasoning 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 Proceedings /
Έκδοση: (1999)

Theorem Proving in Higher Order Logics 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings /
Έκδοση: (2000)

Practical Aspects of Declarative Languages Second International Workshop, PADL 2000 Boston, MA, USA, January 17-18, 2000. Proceedings /
Έκδοση: (2000)

Requirements Engineering: Foundation for Software Quality 24th International Working Conference, REFSQ 2018, Utrecht, The Netherlands, March 19-22, 2018, Proceedings /
Έκδοση: (2018)

Requirements Engineering: Foundation for Software Quality 25th International Working Conference, REFSQ 2019, Essen, Germany, March 18-21, 2019, Proceedings /
Έκδοση: (2019)

From Theory to Practice in Multi-Agent Systems Second International Workshop of Central and Eastern Europe on Multi-Agent Systems, CEEMAS 2001 Cracow, Poland, September 26-29, 2001, Revised Papers /
Έκδοση: (2002)

Ambient Intelligence Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004, Proceedings /
Έκδοση: (2004)

Diagrammatic Representation and Inference 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings /
Έκδοση: (2018)

Computing and Combinatorics 6th Annual International Conference, COCOON 2000, Sydney, Australia, July 26-28, 2000 Proceedings /
Έκδοση: (2000)

Applications of Evolutionary Computing EvoWorkshop 2003: EvoBIO, EvoCOP, EvoIASP, EvoMUSART, EvoROB, and EvoSTIM, Essex, UK, April 14-16, 2003, Proceedings /
Έκδοση: (2003)

Recent Advances in AI Planning 5th European Conference on Planning, ECP'99 Durham, UK, September 8-10, 1999 Proceedings /
Έκδοση: (2000)

Evolutionary Multi-Criterion Optimization First International Conference, EMO 2001, Zurich, Switzerland, March 7-9, 2001 Proceedings /
Έκδοση: (2001)

Adaptive Instructional Systems First International Conference, AIS 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings /
Έκδοση: (2019)

Multi-Agent Systems and Agent-Based Simulation First International Workshop, MABS '98, Paris, France, July 4-6, 1998, Proceedings /
Έκδοση: (1998)

Computation for Metaphors, Analogy, and Agents
Έκδοση: (1999)

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling International Conference ICVS 2001 Avignon, France, September 27-28, 2001 Proceedings /
Έκδοση: (2001)

Logic for Programming, Artificial Intelligence, and Reasoning 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings /
Έκδοση: (2002)

Interactive Systems. Design, Specification, and Verification 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers /
Έκδοση: (2003)

Computational Logic - CL 2000 First International Conference London, UK, July 24-28, 2000 Proceedings /
Έκδοση: (2000)

Coordination Languages and Models 4th International Conference, COORDINATION 2000 Limassol, Cyprus, September 11-13, 2000 Proceedings /
Έκδοση: (2000)

Multimodal Human-Computer Communication Systems, Techniques, and Experiments /
Έκδοση: (1998)

Human-Computer Interaction 5th Iberoamerican Workshop, HCI-Collab 2019, Puebla, Mexico, June 19-21, 2019, Revised Selected Papers /
Έκδοση: (2019)

Interactive Systems. Design, Specification, and Verification 7th International Workshop, DSV-IS 2000, Limerick, Ireland, June 5-6, 2000. Revised Papers /
Έκδοση: (2001)

Logic-Based Program Synthesis and Transformation 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Selected Papers /
Έκδοση: (1999)

Automata, Languages and Programming 29th International Colloquium, ICALP 2002, Malaga, Spain, July 8-13, 2002. Proceedings /
Έκδοση: (2002)

Innovations in Applied Artificial Intelligence 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings /
Έκδοση: (2004)

Design, User Experience, and Usability. Application Domains 8th International Conference, DUXU 2019, Held as Part of the 21st HCI International Conference, HCII 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings, Part III /
Έκδοση: (2019)

Foundations of Computer Science Potential-Theory-Cognition /
Έκδοση: (1997)

Advances in Computer Graphics 36th Computer Graphics International Conference, CGI 2019, Calgary, AB, Canada, June 17-20, 2019, Proceedings /
Έκδοση: (2019)

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