Mathematical Logic and Formal Languages.
概要
| 作品: | 1494 作品在 706 項出版品 706 種語言 | |
|---|---|---|
書目資訊
Formal Methods in Software and Systems Modeling = Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning and Data Mining in Pattern Recognition = 4th International Conference, MLDM 2005, Leipzig, Germany, July 9-11, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theorem Proving in Higher Order Logics = 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
AI 2005: Advances in Artificial Intelligence : = 18th Australian Joint Conference on Artificial Intelligence, Sydney, Australia, December 5-9, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Reconfigurable Computing = Accelerating Computation with Field-Programmable Gate Arrays /
by:
(書目-語言資料,印刷品)
Logical Aspects of Computational Linguistics = 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Based Program Synthesis and Transformation = 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modeling and Using Context = 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. II /
by:
(書目-語言資料,印刷品)
Machine Learning: ECML 2005 : = 16th European Conference on Machine Learning, Porto, Portugal, October 3-7, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Functional and logic programming = 9th international symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday
by:
(書目-語言資料,印刷品)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = second international conference, LATA 2008, Tarragona, Spain, March 13-19, 2008 ; revised papers /
by:
(書目-語言資料,印刷品)
Modalities and multimodalities = with the assistance and collaboration of Juliana Bueno-Soler /
by:
(書目-語言資料,印刷品)
Logic programming = 24th international conference, ICLP 2008, Udine, Italy, December 9-13, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Abstract State Machines, B and Z = First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Operational Semantics for Timed Systems = A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
by:
(書目-語言資料,印刷品)
Term Rewriting and Applications = 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
FM 2005: Formal Methods = International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming - CP 2005 : = 11th International Conference, CP 2005, Sitges Spain, October 1-5, 2005
by:
(書目-語言資料,印刷品)
Pillars of Computer Science = Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday /
by:
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Symbolic and quantitative approaches to reasoning with uncertainty = 13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformation = 8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Artificial general intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Computer aided verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Reasoning web = web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Linking game-theoretical approaches with constructive type theory = dialogical strategies, CTT demonstrations and the axiom of choice /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Information technology in bio- and medical informatics = 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Machines, computations, and universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Natural Language Processing - IJCNLP 2004 = First International Joint Conference, Hainan Island, China, March 22-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems : = 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Logic, rewriting, and concurrency = essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning : = 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Abstraction, Reformulation and Approximation = 6th International Symposium, SARA 2005, Airth Castle, Scotland, UK, July 26-29, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
New frontiers in artificial intelligence = JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Algebraic Biology = Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Computational Linguistics and Intelligent Text Processing = 6th International Conference, CICLing 2005, Mexico City, Mexico, February 13-19, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = Third International Conference, ICFCA 2005, Lens, France, February 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
ZB 2005: Formal Specification and Development in Z and B = 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Typed Lambda Calculi and Applications = 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing = 8th International Conference, SAT 2005, St Andrews, Scotland, June 19-23, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Satisfiability Testing = 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Computational Logic in Multi-Agent Systems = 5th International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 15th International Conference, ILP 2005, Bonn, Germany, August 10-13, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Science Logic = 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Deterministic and Statistical Methods in Machine Learning : = First International Workshop, Sheffield, UK, September 7-10, 2004. Revised Lectures
by:
(書目-語言資料,印刷品)
Logic and its applications = 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Universal Artificial Intellegence = Sequential Decisions Based on Algorithmic Probability /
by:
(書目-語言資料,印刷品)
Advances in geometric modeling and processing = 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Formal verification of object-oriented software = international conference, FoVeOOS 2010, Paris, France, June 28-30, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computers and games = 7th international conference, CG 2010, Kanazawa, Japan, September 24-26, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
The evolution of conceptual modeling = from a historical perspective towards the future of conceptual modeling /
by:
(書目-語言資料,印刷品)
Vagueness in communication = international workshop, ViC 2009, held as part of ESSLLI 2009, Bordeaux, France, July 20-24, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algebraic methodology and software technology = 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing--SAT 2008 = 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Rough sets and knowledge technology = third international conference, RSKT 2008, Chengdu, China, May 17-19, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2008: Formal Methods = 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Deontic Logic in Computer Science = 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Algebraic Methodology and Software Technology = 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 18th International Conference, ILP 2008 Prague, Czech Republic, September 10-12, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2008 = 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Fuzzy Systems and Knowledge Discovery = Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings.. I /
by:
(書目-語言資料,印刷品)
Automated reasoning = 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
KI 2008: Advances in Artificial Intelligence = 31st Annual German Conference on AI, KI 2008, Kaiserslautern, Germany, September 23-26, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Verified software: theories, tools, experiments = second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Computational processing of the Portuguese language = 8th international conference, PROPOR 2008 Aveiro, Portugal, September 8-10, 2008 proceedings /
by:
(書目-語言資料,印刷品)
Natural Language Processing - IJCNLP 2005 : = Second International Joint Conference, Jeju Island, Korea, October 11-13, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Computer science logic = 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Grammatical inference = algorithms and applications : 9th international colloquium, ICGI 2008, Saint-Malo, France, September 22-24, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Ludics, dialogue and interaction = PRELUDE Project - 2006-2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information systems for indian languages = international conference, ICISIL 2011, Patiala, India, March 9-11, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Language, games, and evolution = trends in current research on language and game theory /
by:
(書目-語言資料,印刷品)
Theory and practice of algorithms in (computer) systems = first international ICST conference, TAPAS 2011, Rome, Italy, April 18-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal grammar = 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
e-Business and telecommunications = 6th International Joint Conference, ICETE 2009, Milan, Italy, July 7-10, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Machine Learning and Knowledge Discovery in Databases = European Conference, ECML PKDD 2008, Antwerp, Belgium, September 15-19, 2008, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Unconventional Programming Paradigms = International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Model checking and artificial intelligence = 6th international workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010 : revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 11th international conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 9th international conference, ICFCA 2011, Nicosia, Cyprus, May 2-6, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 8th annual conference, TAMC 2011, Tokyo, Japan, May 23-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming, knowledge representation, and nonmonotonic reasoning = essays dedicated to Michael Gelfond on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Rainbow of computer science = dedicated to Hermann Maurer on the occasion of his 70th birthday /
by:
(書目-語言資料,印刷品)
Logic, language, information and computation = 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA : proceedings /
by:
(書目-語言資料,印刷品)
Types for proofs and programs = international conference, types 2007, Cividale des Friuli, Italy, May 2-5, 2007 revised selected papers /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 9th International Conference, CIAA 2004, Kingston, Canada, July 22-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Membrane Computing = 5th International Workshop, WMC 2004, Milan, Italy, June 14-16, 2004, Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Learning Theory = 18th Annual Conference on Learning Theory, COLT 2005, Bertinoro, Italy, June 27-30, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction - CADE-20 = 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of Computation Theory = 15th International Symposium, FCT 2005, Lubeck, Gemany, August 17-20, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Semantic Web Reasoning : = Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2005 : = Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Algorithmic Learning Theory : = 16th International Conference, ALT 2005, Singapore, October 8-11, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Conceptual Modeling - ER 2005 : = 24th International Conference on Conceptual Modeling, Klagenfurt, Austria, October 24-28, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Developments in language theory = 15th international conference, DLT 2011, Milan, Italy, July 19-22 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 13th international workshop, DCFS 2011, Giessen/Limburg, Germany, July 25-27, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 16th international conference, CIAA 2011, Blois, France, July 13-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Studies in complexity and cryptography = miscellanea on the interplay between randomness and computation /
by:
(書目-語言資料,印刷品)
Rough sets, fuzzy sets, data mining and granular computing = 13th international conference, RSFDGrC 2011, Moscow, Russia, June 25-27, 2011. Proceedings /
by:
(書目-語言資料,印刷品)
Artificial general intelligence = 4th international conference, AGI 2011, Mountain View, CA, USA, August 3-6, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction = CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual structures for discovering knowledge = 19th international conference on conceptual structures, ICCS 2011, Derby, UK, July 25-29, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Functional and constraint logic programming = 20th international workshop, WFLP 2011, Odense, Denmark, July 19th : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 23rd international conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Model checking software = 18th international SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic and games on automatic structures = playing with quantifiers and decompositions /
by:
(書目-語言資料,印刷品)
Logic and grammar = essays dedicated to Alain Lecomte on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Computational Linguistics and Intelligent Text Processing = 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 17th International Conference, ILP 2007, Corvallis, OR, USA, June 19-21, 2007, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Typed lambda calculi and applications = 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and application of satisfiability testing = SAT 2011 : 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Tools for teaching logic = third international congress, TICTTL 2011, Salamanca, Spain, June 1-4, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Unconventional computation = 10th international conference, UC 2011, Turku, Finland, June 6-10, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010 : revised papers /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings /
by:
(書目-語言資料,印刷品)
Rewriting Techniques and Applications = 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Automata, languages and programming = 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4-8, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
FM 2011 = formal methods : 17th international symposium on formal methods, Limerick, Ireland, June 20-24, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 4th international conference, CAI 2011, Linz, Austria, June 21-24, 2011 : ;proceedings /
by:
(書目-語言資料,印刷品)
Computation, cooperation, and life = essays dedicated to Gheorghe Paun on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Software composition = 10th international conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Objects, models, components, patterns = 49th international conference, TOOLS 2011, Zurich, Switzerland, June 28-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logical aspects of computational linguistics = 6th international conference, LACL 2011, Montpellier, France, June 29 - July 1, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Symbolic and quantitative approaches to reasoning with uncertainty = 11th European conference, ECSQARU 2011, Belfast, UK, June 29 - July 1, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of model transformations = 4th international conference, ICMT 2011, Zurich, Switzerland, June 27-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 5th international conference, TAP 2011, Zurich, Switzerland, June 30 - July 1, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Applications and theory of petri nets = 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 9th International Conference, MPC 2008, Marseille, France, July 15-18, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Applications of Automata = 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Natural Language Processing = 6th International Conference, GoTAL 2008 Gothenburg, Sweden, August 25-27, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 12th international conference, DLT 2008, Kyoto, Japan, September 16-19, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 7th International Workshop, ADG 2008, Shanghai, China, September 22-24, 2008 : revised papers /
by:
(書目-語言資料,印刷品)
Functional and constraint logic programming = 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 5th International Conference, LATA 2011, Tarragona, Spain, May 26-31, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning = 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2004 = First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Conditionals, Information, and Inference = International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Compiler Construction = 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005 /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science : = 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Case-Based Reasoning = 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 14th International conference, CP 2008, Sydney, Australia, September 14-18 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Progress in cryptology - INDOCRYPT 2009 = 10th International Conference on Cryptology in India, New Delhi, India, December 13-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms and computation = 20th international symposium, ISAAC 2009, Honolulu, Hawaii, USA, December 16-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Rigorous methods for software construction and analysis = essays dedicated to Egon Borger on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 6th International Conference, MDAI 2009, Awaji Island, Japan, November 30-December 2, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2009 = formal methods : Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 20th International Workshop, IWOCA 2009, Hradec nad Moravici, Czech Republic, June 28 - July 2, 2009 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security = 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
AI 2009 = advances in artificial intelligence : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 7th Asian Symposium, APLAS 2009, Seoul, Korea, December 14-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
E-business and telecommunications = international conference, ICETE 2008, Porto, Portugal, July 26 - 29, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Advanced functional programming = 6th International School, AFP 2008, Heijen, the Netherlands, May 19-24, 2008 : revised lectures /
by:
(書目-語言資料,印刷品)
Aspects of natural language processing = essays dedicated to Leonard Bolc on the occasion of his 75th Birthday /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 7th onternational symposium, ATVA 2009, Macao, China, October 14-16, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning with analytic tableaux and related methods = 18th international conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Infinity in Logic and Computation = International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithmic decision theory = first international conference, ADT 2009, Venice, Italy, October 20-23, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Teaching formal methods = second international conference, TFM 2009, Eindhoven, The Netherlands, November 2-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Anaphora processing and applications = 7th discourse anaphora and anaphor resolution colloquium, DAARC 2009 Goa, India, November 5-6, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science logic = 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7-11, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 17th International Symposium, FCT 2009, Wroclaw, Poland, September 2-4, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 19th international workshop, WADT 2008, Pisa, Italy, June 13-16, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algebra and coalgebra in computer science = third international conference, CALCO 2009, Udine, Italy, September 7-10, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Semantics and algebraic specification = essays dedicated to Peter D. Mosses on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 10th international conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming - CP 2009 = 15th international conference, CP 2009 Lisbon, Portugal, September 20-24, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = third international conference, SUM 2009, Washington, DC, September 28-30, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 3rd international workshop, RP 2009, Palaiseau, France, September 23-25, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2009 = advances in artificial intelligence : 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 22nd international conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2009 = 6th international colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = third international conference, CAI 2009, Thessaloniki, Greece, May 19-22, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 9th Asian symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Certified programs and proofs = first international conference, CPP 2011, Kenting, Taiwan, December 7-9, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 22nd international workshop, IWOCA 2011, Victoria, BC, Canada, July 20-22, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algebraic foundations in computer science = essays dedicated to Symeon Bozapalidis on the occasion of his retirement /
by:
(書目-語言資料,印刷品)
Formal methods, foundations and applications = 14th Brazilian Symposium, SBMF 2011, Sao Paulo, Brazil, September 26-30, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Multidisciplinary aspects of time and time perception = COST TD0904 international workshop, Athens, Greece, October 7-8, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Cryptology and Network Security : = 8th International Conference, CANS 2009, Kanazawa, Japan, December 12-14, 2009 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday /
by:
(書目-語言資料,印刷品)
Formal methods and software engineering = 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26-28, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = third international workshop, LORI 2011, Guangzhou, China, October 10-13, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Quantum interaction = 5th international symposium, QI 2011, Aberdeen, UK, June 26-29, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithmic learning theory = 22nd international conference, ALT 2011, Espoo, Finland, October 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of functional languages = 20th international symposium, IFL 2008, Hatfield, UK, September 10-12, 2008 : revised selected papers /
by:
(書目-語言資料,印刷品)
The mathematics of language = 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 9th international conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 5th international workshop, RP 2011, Genoa, Italy, September 28-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 8th international symposium, FroCoS 2011, Saarbrucken, Germany, October 5-7, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Rough sets and knowledge technology = 6th international conference, RSKT 2011, Banff, Canada, October 9-12, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Computational logic in multi-agent systems = 12th international workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling and using context = 7th international and interdisciplinary conference, CONTEXT 2011, Karlsruhe, Germany, September 26-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = second international conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Semantics in data and knowledge bases = 4th international workshop, SDKB 2010, Bordeaux, France, July 5, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fuzzy logic and applications = 9th international workshop, WILF 2011, Trani, Italy, August 29-31,2011 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 11th international symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 16th international workshop, FMICS 2011, Trento, Italy, August 29-30, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2011 = 36th international symposium, MFCS 2011, Warsaw, Poland, August 22-26, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of computation theory = 18th international symposium, FCT 2011, Oslo, Norway, August 22-25, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Algebra and coalgebra in computer science = 4th international conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing = ICTAC 2011 : 8th international colloquium, Johannesburg, South Africa, August 31 - September 2, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = CP 2011 : 17th international conference, CP 2011, Perugia, Italy, September 12-16, 2011 : proceedings /
by:
(書目-語言資料,印刷品)
Machine learning and knowledge discovery in databases = European Conference, ECML PKDD 2011, Athens, Greece, September 5-9, 2011 : proceedings.. Part III /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Information security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Correct system design = symposium in honor of Ernst-Rudiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
The design of requirements modelling languages = how to make formalisms for problem solving in requirements engineering /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2015 = advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, mathematics, and computer science = modern foundations with practical applications /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Special topics in mathematics for computer scientists = sets, categories, topologies and measures /
by:
(書目-語言資料,印刷品)
Static analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Chinese lexical semantics = 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Mathematics in computing = an accessible guide to historical, foundational and application contexts /
by:
(書目-語言資料,印刷品)
Logic and its applications = 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logical thinking in the pyramidal schema of concepts = the logical and mathematical elements /
by:
(書目-語言資料,印刷品)
ICT in education, research, and industrial applications = 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Runtime verification = third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Unifying theories of programming = 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Uncertainty reasoning for the semantic web II = International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC : revised selected papers /
by:
(書目-語言資料,印刷品)
Software language engineering = 5th International Conference, SLE 2012, Dresden, Germany, September 26-28, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
System modeling and optimization = 25th IFIP TC 7 Conference, CSMO 2011, Berlin, Germany, September 12-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 10th International Conference, TAMC 2013, Hong Kong, China, May 20-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 11th International Conference, ICFCA 2013, Dresden, Germany, May 21-24, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Typed lambda calculi and applications = 11th International Conference, TLCA 2013, Eindhoven, The Netherlands, June 26-28, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
ECOOP 2013 = object-oriented programming : 27th European Conference, Montpellier, France, July 1-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing = SAT 2013 : 16th International Conference, Helsinki, Finland, July 8-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Unconventional computation and natural computation = 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction - CADE-24 = 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 17th International Conference, DLT 2013, Marne-la-Vallee, France, June 18-21, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 22nd International Conference, ILP 2012, Dubrovnik, Croatia, September 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Static analysis = 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial general intelligence = 6th International Conference, AGI 2013, Beijing, China, July 31-August 3, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Software composition = 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 18th International Conference, CIAA 2013, Halifax, NS, Canada, July 16-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics = MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logics in computer science = a study on extensions of temporal and strategic logics /
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2013 = 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
The beauty of functional code = essays dedicated to Rinus Plasmeijer on the occasion of his 61st birthday /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorics on words = 9th international conference, WORDS 2013, Turku, Finland, September 16-20 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for components and objects = 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012 : revised lectures /
by:
(書目-語言資料,印刷品)
Algebraic informatics = 5th International Conference, CAI 2013, Porquerolles, France, September 3-6, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2013: advances in artificial intelligence = 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Computational logic in multi-agent systems = 14th International Workshop, CLIMA XIV, Corunna, Spain, September 16-18, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Runtime verification = 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algorithmic learning theory = 24th International Conference, ALT 2013, Singapore, October 6-9, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods for industrial critical systems = 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 7th International Workshop, RP 2013, Uppsala, Sweden, September 24-26, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in artificial intelligence - SBIA 2008 = 19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling decisions for artificial intelligence = 5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Provable security = second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Rough sets and current trends in computing = 6th international conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Theorem proving in higher order logics = 21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 : proceedings /
by:
(書目-語言資料,印刷品)
Incomplete information system and rough set theory = models and attribute reductions /
by:
(書目-語言資料,印刷品)
Artificial general intelligence = 5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Tools for practical software verification = LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Implementation and application of functional languages = 23rd international symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Certified programs and proofs = second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Unconventional computation and natural computation = 11th International Conference, UCNC 2012, Orle?ans, France, September 3-7, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
CONCUR 2012 - Concurrency theory = 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Argumentation in multi-agent systems = 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, May 3, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods: Foundations and applications = 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Relational and algebraic methods in computer science = 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2012: Advances in artificial intelligence = 35th Annual German Conference on AI, Saarbrucken, Germany, September 24-27, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical computer science = 7th IFIP TC 1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Graph transformations = 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computational logic in multi-agent systems = 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Datalog in academia and industry = second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2012 = 9th International Colloquium, Bangalore, India, September 24-27, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
New frontiers in artificial intelligence = JSAI-isAI 2011 Workshops, LENLS, JURISIN, ALSIP, MiMI, Takamatsu, Japan, December 1-2, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical foundations of computer science 2012 = 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Controlled natural language = third International Workshop, CNL 2012, Zurich, Switzerland, August 29-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information and computation = 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
FM 2012 = formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Reasoning web = semantic technologies for advanced query answering : 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Information from processes = about the nature of information creation, use, and representation /
by:
(書目-語言資料,印刷品)
Advances in neural networks - ISNN 2012 = 9th International Symposium on Neural Networks, Shenyang, China, July 11-14, 2012 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
New Directions in Logic, Language and Computation = ESSLLI 2010 and ESSLLI 2011 Student Sessions. Selected Papers /
by:
(書目-語言資料,印刷品)
Machine learning and data mining in pattern recognition = 8th International Conference, MLDM 2012, Berlin, Germany, July 13-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Deontic logic in computer science = 11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Languages alive = essays dedicated to Jurgen Dassow on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Developments in language theory = 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Rough sets and knowledge technology = 7th International Conference, RSKT 2012, Chengdu, China, August 17-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 - August 3, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Rough sets and current trends in computing = 8th International Conference, RSCTC 2012, Chengdu, China, August 17-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Generic and indexed programming = International Spring School, SSGIP 2010, Oxford, UK, March 22-26, 2010 : revised lectures /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 10th International Conference, ICFCA 2012, Leuven, Belgium, May 7-10, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
The multivariate algorithmic revolution and beyond = essays dedicated to Michael R. Fellows on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
ECOOP 2012 - Object-oriented programming = 26th European Conference, Beijing, China, June 11-16, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of program construction = 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Controlled natural language = second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010 : revised papers /
by:
(書目-語言資料,印刷品)
Logical aspects of computational linguistics = 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language and meaning = 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Lectures on logic and computation = ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011 : selected lecture notes /
by:
(書目-語言資料,印刷品)
The logic of categorial grammars = a deductive account of natural language syntax and semantics /
by:
(書目-語言資料,印刷品)
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
On the mathematics of modelling, metamodelling, ontologies and modelling languages
by:
(書目-語言資料,印刷品)
Tests and proofs = 6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Graph structures for knowledge representation and reasoning = second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised selected papers /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Runtime verification = second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of model transformations = 5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Objects, models, components, patterns = 50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Software composition = 11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Argumentation in multi-agent systems = 7th international workshop, ArgMAS 2010, Toronto, ON, Canada, May 2010 : revised, selected and invited papers /
by:
(書目-語言資料,印刷品)
Datalog reloaded = first International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Software language engineering = 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling and using context = 8th international and interdisciplinary conference, CONTEXT 2013, Annecy, France, October 28 -31, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Constraint solving and language processing = 7th International Workshop, CSLP 2012, Orleans, France, September 13-14, 2012 : revised selected papers /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Fuzzy logic and applications = 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Certified programs and proofs = third International Conference, CPP 2013, Melbourne, VIC, Australia, December 11-13, 2013 : proceedings /
by:
(書目-語言資料,印刷品)
Algebraic and numeric biology = 4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract = 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Membrane computing = 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Practical aspects of declarative languages = 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual modelling and its theoretical foundations = essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Recent trends in algebraic development techniques = 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Data engineering and management = second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Computational processing of the Portuguese language = 10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012 : proceedings /
by:
(書目-語言資料,印刷品)
Fundamentals of software engineering = 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic programs, norms and action = essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Logic and program semantics = essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Reversible computation = third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
by:
(書目-語言資料,印刷品)
Towards mathematical philosophy = papers from the Studia Logica Conference Trends in Logic IV /
by:
(書目-語言資料,印刷品)
Logic and its applications = third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009, proceedings /
by:
(書目-語言資料,印刷品)
Membrane computing = 9th international workshop, WMC 2008, Edinburgh, UK, July 28-31, 2008 ; revised selected and invited papers /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 : Proceedings /
by:
(書目-語言資料,印刷品)
Computational linguistics and intelligent text processing = 10th international conference, CICLing 2009, Mexico City, Mexico, March 1-7, 2009, Proceedings /
by:
(書目-語言資料,印刷品)
Model checking and artificial intelligence = 5th international workshop, MoChArt 2008, Patras, Greece, July 21, 2008. Revised Selected and Invited Papers /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers /
by:
(書目-語言資料,印刷品)
Quantum interaction = third international symposium, QI 2009, Saarbrucken, Germany, March 25-27, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = third international conference, LATA 2009, Tarragona, Spain, April 2-8, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Formal theories of information = from Shannon to semantic information theory and general concepts of information /
by:
(書目-語言資料,印刷品)
Fundamental problems in computing = essays in honor of Professor Daniel J. Rosenkrantz /
by:
(書目-語言資料,印刷品)
Languages: from formal to natural = essays dedicated to Nissim Francez on the occasion of his 65th birthday /
by:
(書目-語言資料,印刷品)
Formal concept analysis = 7th international conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008 ; proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 6th international conference, TAMC 2009, Changsha, China, May 18-22, 2009 ; proceedings /
by:
(書目-語言資料,印刷品)
Graph structures for knowledge representation and reasoning = third International Workshop, GKR 2013, Beijing, China, August 3, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Verified software = theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Trustworthy global computing = 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic and its applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
From requirements to Java in a snap = model-driven requirements engineering in practice /
by:
(書目-語言資料,印刷品)
Advances in knowledge representation, logic programming, and abstract argumentation = essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Unifying theories of programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods = foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
by:
(書目-語言資料,印刷品)
Perspectives on interrogative models of inquiry = developments in inquiry and questions /
by:
(書目-語言資料,印刷品)
Structural analysis of non-classical logics = the proceedings of the second Taiwan Philosophical Logic Colloquium /
by:
(書目-語言資料,印刷品)
Logical foundations of computer science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXIII = selected papers from FDSE 2014 /
by:
(書目-語言資料,印刷品)
Topics in theoretical computer science = the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Trustworthy global computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Algorithmic aspects of cloud computing = first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Formal methods: foundations and applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
by:
(書目-語言資料,印刷品)
Foundations of information and knowledge systems = 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and practice of formal methods = essays dedicated to Frank de Boer on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
A list of successes that can change the world = essays dedicated to Philip Wadler on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Structured object-oriented formal language and method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Trusted systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Semantic technology = 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Model checking software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Trends in functional programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
Hybrid metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Pursuit of the universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Cellular automata and discrete complex systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Automated reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
by:
(書目-語言資料,印刷品)
NASA formal methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Tests and proofs = 10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Unconventional computation and natural computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computational processing of the Portuguese language = 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering and formal methods = 14th International Conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Rule technologies = research, tools, and applications : 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Implementation and application of automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Computer aided verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computing and combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Information technology in bio- and medical informatics = 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorial algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2016 = princiles and practice of multi-agent systems : 19th International Conference, Phuket, Thailand, August 22-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Web reasoning and rule systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Computer safety, reliability, and security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Software engineering for resilient systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information, and computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Descriptive set theoretic methods in automata theory = decidability and topological complexity /
by:
(書目-語言資料,印刷品)
Static analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Fuzziness in information systems = how to deal with crisp and fuzzy data in selection, classification, and summarization /
by:
(書目-語言資料,印刷品)
Statistical language and speech processing = 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2016 = advances in artificial intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Scala = from a functional programming perspective : an introduction to the programming language /
by:
(書目-語言資料,印刷品)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
FM 2016 = formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Chinese lexical semantics = 17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Formal methods = foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
by:
(書目-語言資料,印刷品)
Semantic technology = 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers /
by:
(書目-語言資料,印刷品)
Cellular automata and discrete complex systems = 23rd IFIP WG 1.5 International Workshop, AUTOMATA 2017, Milan, Italy, June 7-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computer science - theory and applications = 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
MATLAB deep learning : = with machine learning, neural networks and artificial intelligence /
by:
(書目-語言資料,印刷品)
Knowledge engineering and semantic web = 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical computer science = 35th National Conference, NCTCS 2017, Wuhan, China, October 14-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Statistical language and speech processing = 5th International Conference, SLSP 2017, Le Mans, France, October 23-25, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Topics in theoretical computer science = second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
PRIMA 2017 = principles and practice of multi-agent systems : 20th International Conference, Nice, France, October 30 - November 3, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Health information science = 6th International Conference, HIS 2017, Moscow, Russia, October 7-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual modeling = 36th International Conference, ER 2017, Valencia, Spain, November 6-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Transactions on large-scale data- and knowledge-centered systems XXXIV = special issue on consistency and inconsistency in data-centric applications /
by:
(書目-語言資料,印刷品)
Grand timely topics in software engineering = International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Descriptional complexity of formal systems = 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Reasoning web = semantic interoperability on the web : 13th International Summer School 2017, London, UK, July 7-11, 2017 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Rules and reasoning = International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Symbolic and quantitative approaches to reasoning with uncertainty = 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Logic programming and nonmonotonic reasoning = 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics = 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
MATLAB deep learning = with machine learning, neural networks and artificial intelligence /
by:
(書目-語言資料,印刷品)
Metadata and semantic research = 11th International Conference, MTSR 2017, Tallinn, Estonia, November 28 - December 1, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Hardware and software = verification and testing : 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Advances in conceptual modeling = ER 2017 Workshops AHA, MoBiD, MREBA, OntoCom, and QMMQ, Valencia, Spain, November 6-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Semantic technology = 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Mathematical aspects of computer and information sciences = 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Meaning and proscription in formal logic = variations on the propositional logic of William T. Parry /
by:
(書目-語言資料,印刷品)
Designing reliable distributed systems = a formal methods approach based on executable modeling in Maude /
by:
(書目-語言資料,印刷品)
Developments in language theory = 21st International Conference, DLT 2017, Liege, Belgium, August 7-11, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Automated deduction - CADE 26 = 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 26th International Conference, ILP 2016, London, UK, September 4-6, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer aided verification = 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Numerical software verification = 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Concise guide to formal methods = theory, fundamentals and industry applications /
by:
(書目-語言資料,印刷品)
Model-based safety and assessment = 5th International Symposium, IMBSA 2017, Trento, Italy, September 11-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Database and expert systems applications = 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Interactive theorem proving = 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of combining systems = 11th International Symposium, FroCoS 2017, Brasilia, Brazil, September 27-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on words = 11th International Conference, WORDS 2017, Montreal, QC, Canada, September 11-15, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Static analysis = 24th International Symposium, SAS 2017, New York, NY, USA, August 30 - September 1, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Reachability problems = 11th International Workshop, RP 2017, London, UK, September 7-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, rationality, and interaction = 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
KI 2017 = advances in artificial intelligence : 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = 11th International Conference, SUM 2017, Granada, Spain, October 4-6, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2017 = 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Formal aspects of component software = 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial life and evolutionary computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Inductive logic programming = 27th International Conference, ILP 2017, Orleans, France, September 4-6, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Engineering multi-agent systems = 5th international workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Abstract state machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web = 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Machines, computations, and universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Data management technologies and applications = 6th International Conference, DATA 2017, Madrid, Spain, July 24-26, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Model checking software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Agents and artificial intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24-26, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic, language, information, and computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal grammar 2018 = 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Intelligent computer mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web = ESWC 2018 Satellite Events : ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Rough sets = International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Database and expert systems applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3-6, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Integrated formal methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Principles and practice of constraint programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Lifelong technology-enhanced learning = 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Rules and reasoning = second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Dependable software engineering = theories, tools, and applications : 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal modeling and analysis of timed systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Quantitative evaluation of systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Computational methods in systems biology = 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence and symbolic computation = 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Developments in language theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical computer science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13-14, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Modeling decisions for artificial intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15-18, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Scalable uncertainty management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Conceptual modeling = 37th International Conference, ER 2018, Xi'an, China, October 22-25, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Automated technology for verification and analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2018 = 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
The semantic web - ISWC 2018 = 17th International Semantic Web Conference, Monterey, CA, USA, October 8-12, 2018 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Formal methods for nonmonotonic and related logics.. Vol II,. Theory revision, inheritance, and various abstract properties
by:
(書目-語言資料,印刷品)
Principled software development = essays dedicated to Arnd Poetzsch-Heffter on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Case-based reasoning research and development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Theoretical aspects of computing - ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Truth, existence and explanation = FilMat 2016 studies in the philosophy of mathematics /
by:
(書目-語言資料,印刷品)
Runtime verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Semantic technology = 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26-28, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Product lifecycle management to Support Industry 4.0 = 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018 : proceedings /
by:
(書目-語言資料,印刷品)
Engineering trustworthy software systems = 4th International School, SETSS 2018, Chongqing, China, April 7-12, 2018 : tutorial lectures /
by:
(書目-語言資料,印刷品)
Molecular logic and computational synthetic biology = first International Symposium, MLCSB 2018, Santiago, Chile, December 17-18, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
Bioinformatics and biomedical engineering = 7th international work-conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Bioinformatics and biomedical engineering = 7th international work-conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
ModelEd, testEd, trustEd = essays dedicated to Ed Brinksma on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
NASA formal methods = 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Application and theory of petri nets and concurrency = 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial general intelligence = 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial intelligence in medicine = 16th Conference on Artificial Intelligence in Medicine, AIME 2017, Vienna, Austria, June 21-24, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Computability and complexity = essays dedicated to Rodney G. Downey on the occasion of his 60th Birthday /
by:
(書目-語言資料,印刷品)
Database and expert systems applications = 28th International Conference, DEXA 2017, Lyon, France, August 28-31, 2017 : proceedings.. Part I /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 22nd International Conference, CIAA 2017, Marne-la-Vallee, France, June 27-30, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Language, data, and knowledge = first International Conference, LDK 2017, Galway, Ireland, June 19-20, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information, and computation = 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Relational and algebraic methods in computer science = 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Theory and applications of models of computation = 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Unveiling dynamics and complexity = 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Artificial life and evolutionary computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10-12, 2018 : revised selected papers /
by:
(書目-語言資料,印刷品)
The semantic web = 16th International Conference, ESWC 2019, Portoroz, Slovenia, June 2-6, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Bioinformatics research and applications = 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3-6, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Logics in artificial intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Advanced information systems engineering = 31st International Conference, CAiSE 2019, Rome, Italy, June 3-7, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Knowledge management in organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15-18, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Logic, language, information, and computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Graph-based representation and reasoning = 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1-4, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Models, mindsets, meta = the what, the how, and the why not? : essays dedicated to Bernhard Steffen on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Language, logic, and computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017 : revised selected papers /
by:
(書目-語言資料,印刷品)
Computer aided verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019 : proceedings.. Part II /
by:
(書目-語言資料,印刷品)
Developments in language theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
Formal grammar = 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019 : proceedings /
by:
(書目-語言資料,印刷品)
At the intersection of language, logic, and information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6-17, 2018 : selected papers /
by:
(書目-語言資料,印刷品)
Modeling decisions for artificial intelligence = second international conference, MDAI 2005, Tsukuba, Japan, July 25-27, 2005 : proceedings /
by:
(書目-語言資料,印刷品)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Logic, Language, Information and Computation = 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Soft Computing ICAISC 2008 = 9th International Conference Zakopane, Poland, June 22-26, 2008 Proceedings /
by:
(書目-語言資料,印刷品)
Concurrency, security, and puzzles = essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /
by:
(書目-語言資料,印刷品)
Logic and its applications = 7th Indian Conference, ICLA 2017, Kanpur, India, January 5-7, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Unifying theories of programming = 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016 : revised selected papers /
by:
(書目-語言資料,印刷品)
Verification, model checking, and abstract interpretation = 18th International Conference, VMCAI 2017, Paris, France, January 15-17, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Applied logic for computer scientists = computational deduction and formal proofs /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 8th International Conference, ICAART 2016, Rome, Italy, February 24-26, 2016 : rvised selected papers /
by:
(書目-語言資料,印刷品)
Language and automata theory and applications = 11th International Conference, LATA 2017, Umea, Sweden, March 6-9, 2017 : proceedings /
by:
(書目-語言資料,印刷品)
Numerical software verification = 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : rvised selected papers /
by:
(書目-語言資料,印刷品)
Small dynamic complexity classes = an investigation into dynamic descriptive complexity /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Information Security = 16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013, Proceedings /
by:
(書目-語言資料,印刷品)
Information Technology in Bio- and Medical Informatics = 6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
From Requirements to Java in a Snap = Model-Driven Requirements Engineering in Practice /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Reasoning Web. Web Logic Rules = 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures. /
by:
(書目-語言資料,印刷品)
Algebraic Informatics = 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Correct System Design = Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing - ICTAC 2015 = 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Hardware and Software: Verification and Testing = 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Artificial General Intelligence = 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation = Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Interactive Theorem Proving = 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Linking Game-Theoretical Approaches with Constructive Type Theory = Dialogical Strategies, CTT demonstrations and the Axiom of Choice /
by:
(書目-語言資料,印刷品)
Formal Methods for Industrial Critical Systems = 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings /
by:
(書目-語言資料,印刷品)
KI 2015: Advances in Artificial Intelligence = 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
The Design of Requirements Modelling Languages = How to Make Formalisms for Problem Solving in Requirements Engineering /
by:
(書目-語言資料,印刷品)
Logic, Mathematics, and Computer Science = Modern Foundations with Practical Applications /
by:
(書目-語言資料,印刷品)
Special Topics in Mathematics for Computer Scientists = Sets, Categories, Topologies and Measures /
by:
(書目-語言資料,印刷品)
Quantum Physics, Fuzzy Sets and Logic = Steps Towards a Many-Valued Interpretation of Quantum Mechanics /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Software, Services, and Systems = Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering /
by:
(書目-語言資料,印刷品)
Reachability Problems = 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
by:
(書目-語言資料,印刷品)
Mathematical Foundations of Computer Science 2015 = 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Evolving Computability = 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
New Frontiers in Artificial Intelligence = JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
FM 2015: Formal Methods = 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
AI 2015: Advances in Artificial Intelligence = 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 -- December 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic for Programming, Artificial Intelligence, and Reasoning = 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Algorithms - ESA 2015 = 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering: Theories, Tools, and Applications = First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Symbolic and Quantitative Approaches to Reasoning with Uncertainty = 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Rewriting, and Concurrency = Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Its Applications = 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Rationality, and Interaction = 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Unifying Theories of Programming = 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Logic Programming and Nonmonotonic Reasoning = 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction in Geometry = 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
by:
(書目-語言資料,印刷品)
Semantic Technology = 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Descriptive Set Theoretic Methods in Automata Theory = Decidability and Topological Complexity /
by:
(書目-語言資料,印刷品)
A List of Successes That Can Change the World = Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Software Engineering and Formal Methods = 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Trends in Functional Programming = 16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Scala: From a Functional Programming Perspective = An Introduction to the Programming Language /
by:
(書目-語言資料,印刷品)
Information Technology in Bio- and Medical Informatics = 7th International Conference, ITBAM 2016, Porto, Portugal, September 5-8, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Trustworthy Global Computing = 10th International Symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015 Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Semantic Technology = 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Hardware and Software: Verification and Testing = 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Topics in Theoretical Computer Science = The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
NASA Formal Methods = 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Processing of the Portuguese Language = 12th International Conference, PROPOR 2016, Tomar, Portugal, July 13-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Safety, Reliability, and Security = SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Reachability Problems = 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
KI 2016: Advances in Artificial Intelligence = 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2016 = 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Web Reasoning and Rule Systems = 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Verified Software. Theories, Tools, and Experiments = 8th International Conference, VSTTE 2016, Toronto, ON, Canada, July 17–18, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Programming Languages = 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Software Engineering for Resilient Systems = 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Unconventional Computation and Natural Computation = 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Semantics, Logics, and Calculi = Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays /
by:
(書目-語言資料,印刷品)
Combinatorial Algorithms = 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Programming Languages and Systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016, Revised, Selected, and Invited Papers /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Logics in Artificial Intelligence = 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Practice of Formal Methods = Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
PRIMA 2016: Principles and Practice of Multi-Agent Systems = 19th International Conference, Phuket, Thailand, August 22-26, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Rule Technologies. Research, Tools, and Applications = 10th International Symposium, RuleML 2016, Stony Brook, NY, USA, July 6-9, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Structural Analysis of Non-Classical Logics = The Proceedings of the Second Taiwan Philosophical Logic Colloquium /
by:
(書目-語言資料,印刷品)
Perspectives on Interrogative Models of Inquiry = Developments in Inquiry and Questions /
by:
(書目-語言資料,印刷品)
Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL /
by:
(書目-語言資料,印刷品)
Fuzziness in Information Systems = How to Deal with Crisp and Fuzzy Data in Selection, Classification, and Summarization /
by:
(書目-語言資料,印刷品)
Hybrid Metaheuristics = 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computing and Combinatorics = 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Static Analysis = 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Trusted Systems = 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Algorithmic Aspects of Cloud Computing = First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Interactive Theorem Proving = 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIII = Selected Papers from FDSE 2014 /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Statistical Language and Speech Processing = 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Application and Theory of Petri Nets and Concurrency = 37th International Conference, PETRI NETS 2016, Toruń, Poland, June 19-24, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Scalable Uncertainty Management = 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Pursuit of the Universal = 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings /
by:
(書目-語言資料,印刷品)
Logical Foundations of Computer Science = International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web – ISWC 2018 = 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
The Semantic Web = 15th International Conference, ESWC 2018, Heraklion, Crete, Greece, June 3–7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Computational Processing of the Portuguese Language = 13th International Conference, PROPOR 2018, Canela, Brazil, September 24–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Case-Based Reasoning Research and Development = 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Implementation and Application of Automata = 23rd International Conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 15th International Conference, MDAI 2018, Mallorca, Spain, October 15–18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Advanced Computing Strategies for Engineering = 25th EG-ICE International Workshop 2018, Lausanne, Switzerland, June 10-13, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 16th International Conference, CMSB 2018, Brno, Czech Republic, September 12-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Mobile Agent-Based Anomaly Detection and Verification System for Smart Home Sensor Networks
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intuitionistic Proof Versus Classical Truth = The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics /
by:
(書目-語言資料,印刷品)
Formal Methods for Nonmonotonic and Related Logics = Vol II: Theory Revision, Inheritance, and Various Abstract Properties /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Principled Software Development = Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday /
by:
(書目-語言資料,印刷品)
Integrated Formal Methods = 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Multi-Agent Systems = 5th International Workshop, EMAS 2017, Sao Paulo, Brazil, May 8-9, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Semantic Web – ISWC 2018 = 17th International Semantic Web Conference, Monterey, CA, USA, October 8–12, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Abstract State Machines, Alloy, B, TLA, VDM, and Z = 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence and Symbolic Computation = 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Agents and Artificial Intelligence = 9th International Conference, ICAART 2017, Porto, Portugal, February 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Truth, Existence and Explanation = FilMat 2016 Studies in the Philosophy of Mathematics /
by:
(書目-語言資料,印刷品)
Rough Sets = International Joint Conference, IJCRS 2018, Quy Nhon, Vietnam, August 20-24, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2018 = 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Grammar 2018 = 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 16th International Conference, FORMATS 2018, Beijing, China, September 4–6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Aspects of Component Software = 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Scalable Uncertainty Management = 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Machines, Computations, and Universality = 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Logical Foundations of Computer Science = International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Semantic Technology = 8th Joint International Conference, JIST 2018, Awaji, Japan, November 26–28, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 18th International Conference, RV 2018, Limassol, Cyprus, November 10–13, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Database and Expert Systems Applications = 29th International Conference, DEXA 2018, Regensburg, Germany, September 3–6, 2018, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Practical Aspects of Declarative Languages = 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8–9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 12th Italian Workshop, WIVACE 2017, Venice, Italy, September 19-21, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Big Data Analytics = 6th International Conference, BDA 2018, Warangal, India, December 18–21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Lifelong Technology-Enhanced Learning = 13th European Conference on Technology Enhanced Learning, EC-TEL 2018, Leeds, UK, September 3-5, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Verification, Model Checking, and Abstract Interpretation = 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Conceptual Modeling = 37th International Conference, ER 2018, Xi'an, China, October 22–25, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Model and Data Engineering = 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2018 Satellite Events = ESWC 2018 Satellite Events, Heraklion, Crete, Greece, June 3-7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 16th Russian Conference, RCAI 2018, Moscow, Russia, September 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Grammar = 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Product Lifecycle Management to Support Industry 4.0 = 15th IFIP WG 5.1 International Conference, PLM 2018, Turin, Italy, July 2-4, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Grenzen der Mathematik = Eine Reise durch die Kerngebiete der mathematischen Logik /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 18th Workshop, CLSW 2017, Leshan, China, May 18–20, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 10th International Symposium, FoIKS 2018, Budapest, Hungary, May 14–18, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Web and Wireless Geographical Information Systems = 16th International Symposium, W2GIS 2018, A Coruña, Spain, May 21–22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
It's All About Coordination = Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 24th IFIP WG 1.5 International Workshop, AUTOMATA 2018, Ghent, Belgium, June 20–22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Model Checking Software = 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Transformation = 11th International Conference, ICGT 2018, Held as Part of STAF 2018, Toulouse, France, June 25–26, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Tests and Proofs = 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Dynamic Logic. New Trends and Applications = First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings /
by:
(書目-語言資料,印刷品)
Data Management Technologies and Applications = 6th International Conference, DATA 2017, Madrid, Spain, July 24–26, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advanced Information Systems Engineering = 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web = 16th International Conference, ESWC 2019, Portorož, Slovenia, June 2–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2019 Satellite Events = ESWC 2019 Satellite Events, Portorož, Slovenia, June 2–6, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 16th International Conference, MDAI 2019, Milan, Italy, September 4–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods – The Next 30 Years = Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
From Software Engineering to Formal Methods and Tools, and Back = Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
by:
(書目-語言資料,印刷品)
Models, Mindsets, Meta: The What, the How, and the Why Not? = Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Logic and Its Applications = 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Multi-Agent Systems = 16th European Conference, EUMAS 2018, Bergen, Norway, December 6–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logics in Artificial Intelligence = 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Theoretical Aspects of Computing – ICTAC 2019 = 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Life and Evolutionary Computation = 13th Italian Workshop, WIVACE 2018, Parma, Italy, September 10–12, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Knowledge Management in Organizations = 14th International Conference, KMO 2019, Zamora, Spain, July 15–18, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Description Logic, Theory Combination, and All That = Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday /
by:
(書目-語言資料,印刷品)
Formal Concept Analysis = 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Grammar = 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Static Analysis = 26th International Symposium, SAS 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web – ISWC 2019 = 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Dependable Software Engineering. Theories, Tools, and Applications = 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quantum Interaction = 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Parameterized Complexity in the Polynomial Hierarchy = Extending Parameterized Complexity Theory to Higher Levels of the Hierarchy /
by:
(書目-語言資料,印刷品)
Text, Speech, and Dialogue = 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 12th International Symposium, FroCoS 2019, London, UK, September 4-6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Deduction – CADE 27 = 27th International Conference on Automated Deduction, Natal, Brazil, August 27–30, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Modeling and Analysis of Timed Systems = 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
KI 2019: Advances in Artificial Intelligence = 42nd German Conference on AI, Kassel, Germany, September 23–26, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 16th International Conference, QEST 2019, Glasgow, UK, September 10–12, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 19th International Conference, RV 2019, Porto, Portugal, October 8–11, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Computing with Foresight and Industry = 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Theory and Applications of Models of Computation = 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Engineering Trustworthy Software Systems = 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Flexible Query Answering Systems = 13th International Conference, FQAS 2019, Amantea, Italy, July 2–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Bioinformatics and Biomedical Engineering = 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Bioinformatics Research and Applications = 15th International Symposium, ISBRA 2019, Barcelona, Spain, June 3–6, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Data Integration in the Life Sciences = 13th International Conference, DILS 2018, Hannover, Germany, November 20-21, 2018, Proceedings /
by:
(書目-語言資料,印刷品)
Logic, Language, Information, and Computation = 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Pattern Recognition = 41st DAGM German Conference, DAGM GCPR 2019, Dortmund, Germany, September 10–13, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reasoning Web. Explainable Artificial Intelligence = 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures /
by:
(書目-語言資料,印刷品)
Computational Methods in Systems Biology = 17th International Conference, CMSB 2019, Trieste, Italy, September 18–20, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Reflections on the Foundations of Mathematics = Univalent Foundations, Set Theory and General Thoughts /
by:
(書目-語言資料,印刷品)
Language and Automata Theory and Applications = 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Molecular Logic and Computational Synthetic Biology = First International Symposium, MLCSB 2018, Santiago, Chile, December 17–18, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Natural Language Processing and Chinese Computing = 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Bioinformatics and Biomedical Engineering = 7th International Work-Conference, IWBBIO 2019, Granada, Spain, May 8-10, 2019, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
From Reactive Systems to Cyber-Physical Systems = Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Theoretical Computer Science = 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Language, Logic, and Computation = 12th International Tbilisi Symposium, TbiLLC 2017, Lagodekhi, Georgia, September 18-22, 2017, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Natural Language Processing and Chinese Computing = 8th CCF International Conference, NLPCC 2019, Dunhuang, China, October 9–14, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Logic, Rationality, and Interaction = 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Artificial Intelligence = 17th Russian Conference, RCAI 2019, Ulyanovsk, Russia, October 21–25, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Cellular Automata and Discrete Complex Systems = 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 25th International Conference, CP 2019, Stamford, CT, USA, September 30 – October 4, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 23rd International Conference, DLT 2019, Warsaw, Poland, August 5–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Rules and Reasoning = Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Relationale Datenbanken = Von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL /
by:
(書目-語言資料,印刷品)
Mathematics of Program Construction = 13th International Conference, MPC 2019, Porto, Portugal, October 7–9, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Technology for Verification and Analysis = 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Metadata and Semantic Research = 13th International Conference, MTSR 2019, Rome, Italy, October 28–31, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
The Semantic Web – ISWC 2019 = 18th International Semantic Web Conference, Auckland, New Zealand, October 26–30, 2019, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Formal Techniques for Safety-Critical Systems = 6th International Workshop, FTSCS 2018, Gold Coast, Australia, November 16, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
VLSI Design and Test = 23rd International Symposium, VDAT 2019, Indore, India, July 4–6, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
At the Intersection of Language, Logic, and Information = ESSLLI 2018 Student Session, Sofia, Bulgaria, August 6–17, 2018, Selected Papers /
by:
(書目-語言資料,印刷品)
Fuzzy Logic and Applications = 12th International Workshop, WILF 2018, Genoa, Italy, September 6–7, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Metadata and Semantic Research = 12th International Conference, MTSR 2018, Limassol, Cyprus, October 23-26, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Information Search, Integration, and Personalization = 12th International Workshop, ISIP 2018, Fukuoka, Japan, May 14–15, 2018, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Integrated Uncertainty in Knowledge Modelling and Decision Making = 7th International Symposium, IUKM 2019, Nara, Japan, March 27–29, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Iceberg Semantics for Mass Nouns and Count Nouns = A New Framework for Boolean Semantics /
by:
(書目-語言資料,印刷品)
Foundations of Information and Knowledge Systems = 11th International Symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Logical Foundations of Computer Science = International Symposium, LFCS 2020, Deerfield Beach, FL, USA, January 4–7, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Inductive Logic Programming = 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web = 17th International Conference, ESWC 2020, Heraklion, Crete, Greece, May 31–June 4, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Text, Speech, and Dialogue = 23rd International Conference, TSD 2020, Brno, Czech Republic, September 8–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web – ISWC 2020 = 19th International Semantic Web Conference, Athens, Greece, November 2–6, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Logic, Language, and Security = Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Descriptional Complexity of Formal Systems = 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Knowledge, Proof and Dynamics = The Fourth Asian Workshop on Philosophical Logic /
by:
(書目-語言資料,印刷品)
Topics in Theoretical Computer Science = Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Principles and Practice of Constraint Programming = 26th International Conference, CP 2020, Louvain-la-Neuve, Belgium, September 7–11, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Chinese Lexical Semantics = 20th Workshop, CLSW 2019, Beijing, China, June 28–30, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Automated Reasoning = 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Mathematics in Computing = An Accessible Guide to Historical, Foundational and Application Contexts /
by:
(書目-語言資料,印刷品)
Relational and Algebraic Methods in Computer Science = 18th International Conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2020 Satellite Events = ESWC 2020 Satellite Events, Heraklion, Crete, Greece, May 31 – June 4, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Semantic Technology = 9th Joint International Conference, JIST 2019, Hangzhou, China, November 25–27, 2019, Proceedings /
by:
(書目-語言資料,印刷品)
Practical MATLAB Modeling with Simulink = Programming and Simulating Ordinary and Partial Differential Equations /
by:
(書目-語言資料,印刷品)
Formal Methods: Foundations and Applications = 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Rigorous State-Based Methods = 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Logic Programming = 15th International Symposium, FLOPS 2020, Akita, Japan, September 14–16, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Beyond the Horizon of Computability = 16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29–July 3, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Case-Based Reasoning Research and Development = 28th International Conference, ICCBR 2020, Salamanca, Spain, June 8–12, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Runtime Verification = 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Verification and Evaluation of Computer and Communication Systems = 14th International Conference, VECoS 2020, Xi'an, China, October 26–27, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Quantitative Evaluation of Systems = 18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Computer Aided Verification = 33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part II /
by:
(書目-語言資料,印刷品)
Explainable and Transparent AI and Multi-Agent Systems = Third International Workshop, EXTRAAMAS 2021, Virtual Event, May 3–7, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Automated Deduction – CADE 28 = 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Formal Methods – Fun for Everybody = First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Intelligent Computer Mathematics = 14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Automated Reasoning with Analytic Tableaux and Related Methods = 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Frontiers of Combining Systems = 13th International Symposium, FroCoS 2021, Birmingham, UK, September 8–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Combinatorics on Words = 13th International Conference, WORDS 2021, Rouen, France, September 13–17, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Flexible Query Answering Systems = 14th International Conference, FQAS 2021, Bratislava, Slovakia, September 19–24, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Modeling Decisions for Artificial Intelligence = 18th International Conference, MDAI 2021, Umeå, Sweden, September 27–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Diagrammatic Representation and Inference = 12th International Conference, Diagrams 2021, Virtual, September 28–30, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Recent Trends in Algebraic Development Techniques = 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Model Checking Software = 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph-Based Representation and Reasoning = 26th International Conference on Conceptual Structures, ICCS 2021, Virtual Event, September 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Graph Structures for Knowledge Representation and Reasoning = 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Developments in Language Theory = 25th International Conference, DLT 2021, Porto, Portugal, August 16–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web: ESWC 2021 Satellite Events = Virtual Event, June 6–10, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 30th International Symposium, LOPSTR 2020, Bologna, Italy, September 7–9, 2020, Proceedings /
by:
(書目-語言資料,印刷品)
Functional and Constraint Logic Programming = 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Logics in Artificial Intelligence = 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Rigorous State-Based Methods = 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
The Semantic Web = 18th International Conference, ESWC 2021, Virtual Event, June 6–10, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Hajnal Andréka and István Németi on Unity of Science = From Computing to Relativity Theory Through Algebraic Logic /
by:
(書目-語言資料,印刷品)
Structured Object-Oriented Formal Language and Method = 10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers /
by:
(書目-語言資料,印刷品)
Advances in Information Retrieval = 43rd European Conference on IR Research, ECIR 2021, Virtual Event, March 28 – April 1, 2021, Proceedings, Part I /
by:
(書目-語言資料,印刷品)
Belief Functions: Theory and Applications = 6th International Conference, BELIEF 2021, Shanghai, China, October 15–19, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
Logic and Argumentation = 4th International Conference, CLAR 2021, Hangzhou, China, October 20–22, 2021, Proceedings /
by:
(書目-語言資料,印刷品)
更多
較少的
主題