Mathematical Logic and Formal Languages.
概観
著作: | 318 作品に 315 出版物中に 315 言語 |
---|
タイトル
Grammars for language and genes[electronic resource] :theoretical and empirical investigations /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Verified software[electronic resource] :theories, tools, experiments : 4th international conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract[electronic resource] :13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Membrane computing[electronic resource] :12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algebraic and numeric biology[electronic resource] :4th international conference, ANB 2010, Hagenberg, Austria, July 31- August 2, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Practical aspects of declarative languages[electronic resource] :14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Conceptual modelling and its theoretical foundations[electronic resource] :essays dedicated to Bernhard Thalheim n the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Integration of world knowledge for natural language understanding[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Data engineering and management[electronic resource] :second International Conference, ICDEM 2010, Tiruchirappalli, India, July 29-31, 2010 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :6th International Conference, LATA 2012, A Coruna, Spain, March 5-9, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Foundations of information and knowledge systems[electronic resource] :7th international symposium, FoIKS 2012, Kiel, Germany, March 5-9, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computational processing of the Portuguese language[electronic resource] :10th International Conference, PROPOR 2012, Coimbra, Portugal, April 17-20, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Fundamentals of software engineering[electronic resource] :4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Logic programs, norms and action[electronic resource] :essays in honor of Marek J. Sergot on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Logic and program semantics[electronic resource] :essays dedicated to Dexter Kozen on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Reversible computation[electronic resource] :third International Workshop, RC 2011, Gent, Belgium, July 4-5, 2011 : revised papers /
…で:
(言語・文字資料 (印刷物))
Risk management technologies[electronic resource] :with logic and probabilistic models /
…で:
(言語・文字資料 (印刷物))
Functional and logic programming[electronic resource] :11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Runtime verification[electronic resource] :second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
…で:
(言語・文字資料 (印刷物))
Theory and applications of models of computation[electronic resource] :9th annual conference, TAMC 2012, Beijing, China, May 16-21, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :6th International Conference, TAP 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and practice of model transformations[electronic resource] :5th International Conference, ICMT 2012, Prague, Czech Republic, May 28-29, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Objects, models, components, patterns[electronic resource] :50th International Conference, TOOLS 2012, Prague, Czech Republic, May 29-31, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Software composition[electronic resource] :11th International Conference, SC 2012, Prague, Czech Republic, May 31-June 1, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Certified programs and proofs[electronic resource] :second international conference, CPP 2012, Kyoto, Japan, December 13-15, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Advances in artificial intelligence - SBIA 2008[electronic resource] :19th Brazilian Symposium on Artificial Intelligence, Salvador, Brazil, October 26-30, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic for programming, artificial intelligence, and reasoning[electronic resource] :15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Modeling decisions for artificial intelligence[electronic resource] :5th international conference, MDAI 2008, Sabadell, Spain, October 30-31, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Provable security[electronic resource] :second international conference, ProvSec 2008, Shanghai, China, October 30 - November 1, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Rough sets and current trends in computing[electronic resource] :6th international conference, RSCTC 2008, Akron, OH, USA, October 23-25, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theorem proving in higher order logics[electronic resource] :21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Scalable uncertainty management[electronic resource] :second international conference, SUM 2008, Naples, Italy, October 1-3, 2008 : proceedings /
…で:
(言語・文字資料 (印刷物))
Incomplete information system and rough set theory[electronic resource] :models and attribute reductions /
…で:
(言語・文字資料 (印刷物))
Artificial general intelligence[electronic resource] :5th international conference, AGI 2012, Oxford, UK, December 8-11, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Programming languages and systems[electronic resource] :10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :8th international symposium, FACS 2011, Oslo, Norway, September 14-16, 2011 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Tools for practical software verification[electronic resource] :LASER, International Summer School 2011, Elba Island, Italy : revised tutorial lectures /
…で:
(言語・文字資料 (印刷物))
Combinatorial algorithms[electronic resource] :23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Cyberpatterns[electronic resource] :unifying design patterns with security and attack patterns /
…で:
(言語・文字資料 (印刷物))
Horizons of the mind[electronic resource] :a tribute to Prakash Panangaden : essays dedicated to Prakash Panangaden on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Functional and logic programming[electronic resource] :12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Developments in language theory[electronic resource] :18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Integrated formal methods[electronic resource] :11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal methods in macro-biology[electronic resource] :First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Principles and practice of constraint programming[electronic resource] :20th International Conference, CP 2014, Lyon, France, September 8-12, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Software engineering and formal methods[electronic resource] :12th International Conference, SEFM 2014, Grenoble, France, September 1-5, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, language, information, and computation[electronic resource] :21st International Workshop, WoLLIC 2014, Valparaiso, Chile, September 1-4, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Mathematical foundations of computer science 2014[electronic resource] :39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014 : proceedings.part I /
…で:
(言語・文字資料 (印刷物))
CONCUR 2014 - concurrency theory[electronic resource] :25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theoretical computer science[electronic resource] :8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer science - theory and applications[electronic resource] :9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal concept analysis[electronic resource] :12th International conference, ICFCA 2014, Cluj-Napoca, Romania, June 10-13, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Deontic logic and normative systems[electronic resource] :12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Rough sets and current trends in soft computing[electronic resource] :9th International Conference, RSCTC 2014, Granada and Madrid, Spain, July 9-13, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logical aspects of computational linguistics[electronic resource] :8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mereology and the sciences[electronic resource] :parts and wholes in the contemporary scientific context /
…で:
(言語・文字資料 (印刷物))
Implementation and application of automata[electronic resource] :19th International Conference, CIAA 2014, Giessen, Germany, July 30 - August 2, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :8th International Conference, TAP 2014, held as Part of STAF 2014, York, UK, July 24-25, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Graph transformation[electronic resource] :7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Artificial general intelligence[electronic resource] :7th International Conference, AGI 2014, Quebec City, QC, Canada, August 1-4, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Descriptional complexity of formal systems[electronic resource] :16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computational logic in multi-agent systems[electronic resource] :15th International Workshop, CLIMA XV, Prague, Czech Republic, August 18-19, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Controlled natural language[electronic resource] :4th International Workshop, CNL 2014, Galway, Ireland, August 20-22, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Pristine perspectives on logic, language, and computation[electronic resource] :ESSLLI 2012 and ESSLLI 2013 Student Sessions : selected papers /
…で:
(言語・文字資料 (印刷物))
Formal grammar[electronic resource] :19th International Conference, FG 2014, Tubingen, Germany, August 16-17, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
ECOOP 2014 - Object-oriented programming[electronic resource] :28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Perspectives in computational complexity[electronic resource] :the Somenath Biswas anniversary volume /
…で:
(言語・文字資料 (印刷物))
Logic and its applications[electronic resource] :6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract interpretation[electronic resource] :16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
From requirements to Java in a snap[electronic resource] :model-driven requirements engineering in practice /
…で:
(言語・文字資料 (印刷物))
Advances in knowledge representation, logic programming, and abstract argumentation[electronic resource] :essays dedicated to Gerhard Brewka on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Unifying theories of programming[electronic resource] :5th International Symposium, UTP 2014, Singapore, May 13, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Formal methods[electronic resource] :foundations and applications : 17th Brazilian Symposium, SBMF 2014, Maceio, AL, Brazil, September 29 - October 1, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :9th International Conference, LATA 2015, Nice, France, March 2-6, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Refinement in Z and Object-Z[electronic resource] :foundations and advanced applications /
…で:
(言語・文字資料 (印刷物))
David Makinson on classical methods for non-classical problems[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Graph structures for knowledge representation and reasoning[electronic resource] :third International Workshop, GKR 2013, Beijing, China, August 3, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Verification, model checking, and abstract interpretation[electronic resource] :15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Verified software[electronic resource] :theories, tools, experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Foundations of information and knowledge systems[electronic resource] :8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014 : proceedings /
…で:
(言語・文字資料 (印刷物))
Specification, algebra, and software[electronic resource] :essays dedicated to Kokichi Futatsugi /
…で:
(言語・文字資料 (印刷物))
Trustworthy global computing[electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Advances in natural deduction[electronic resource] :a celebration in Dag Prawitz's work /
…で:
(言語・文字資料 (印刷物))
Linguistic expressions and semantic processing[electronic resource] :a practical approach /
…で:
(コンピュータ・メディア)
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Formal concept analysis[electronic resource] :13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015 : proceedings /
…で:
(コンピュータ・メディア)
Facets of uncertainties and applications[electronic resource] :ICFUA, Kolkata, India, December 2013 /
…で:
(コンピュータ・メディア)
Descriptional complexity of formal systems[electronic resource] :17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorial algorithms[electronic resource] :25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Mathematics of program construction[electronic resource] :12th International Conference, MPC 2015, Konigswinter, Germany, June 29 - July 1, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Evolving computability[electronic resource] :11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29 - July 3, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Intelligent computer mathematics[electronic resource] :International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, language, information, and computation[electronic resource] :22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Freedom and enforcement in action[electronic resource] :a study in formal action theory /
…で:
(言語・文字資料 (印刷物))
Quantum physics, fuzzy sets and logic[electronic resource] :steps towards a many-valued interpretation of quantum mechanics /
…で:
(言語・文字資料 (印刷物))
Symbolic and quantitative approaches to reasoning with uncertainty[electronic resource] :13th European Conference, ECSQARU 2015, Compiegne, France, July 15-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Graph transformation[electronic resource] :8th International Conference, ICGT 2015, held as part of STAF 2015, L'Aquila, Italy, July 21-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Tests and proofs[electronic resource] :9th International Conference, TAP 2015, held as part of STAF 2015, L'Aquila, Italy, July 22-24, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Automated deduction in geometry[electronic resource] :10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Artificial general intelligence[electronic resource] :8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Developments in language theory[electronic resource] :19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part II /
…で:
(言語・文字資料 (印刷物))
Computer aided verification[electronic resource] :27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
Reasoning web[electronic resource] :web logic rules : 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, tutorial lectures /
…で:
(言語・文字資料 (印刷物))
Implementation and application of automata[electronic resource] :20th International Conference, CIAA 2015, Umea, Sweden, August 18-21, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Linking game-theoretical approaches with constructive type theory[electronic resource] :dialogical strategies, CTT demonstrations and the axiom of choice /
…で:
(言語・文字資料 (印刷物))
Interactive theorem proving[electronic resource] :6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Information technology in bio- and medical informatics[electronic resource] :6th International Conference, ITBAM 2015, Valencia, Spain, September 3-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Software engineering and formal methods[electronic resource] :13th International Conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Formal Modeling and Analysis of Timed Systems[electronic resource] :13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Machines, computations, and universality[electronic resource] :7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, rewriting, and concurrency[electronic resource] :essays dedicated to Jose Meseguer on the occasion of his 65th birthday /
…で:
(言語・文字資料 (印刷物))
Principles and practice of constraint programming[electronic resource] :21st International Conference, CP 2015, Cork, Ireland, August 31 - September 4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Combinatorics on words[electronic resource] :10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Mathematical foundations of computer science 2015[electronic resource] :40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015 : proceedings.Part I /
…で:
(言語・文字資料 (印刷物))
New frontiers in artificial intelligence[electronic resource] :JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
The design of requirements modelling languages[electronic resource] :how to make formalisms for problem solving in requirements engineering /
…で:
(言語・文字資料 (印刷物))
Special topics in mathematics for computer scientists[electronic resource] :sets, categories, topologies and measures /
…で:
(言語・文字資料 (印刷物))
Algebraic informatics[electronic resource] :6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic programming and nonmonotonic reasoning[electronic resource] :13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Runtime verification[electronic resource] :6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Frontiers of combining systems[electronic resource] :10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
KI 2015[electronic resource] :advances in artificial intelligence : 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Reachability problems[electronic resource] :9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Static analysis[electronic resource] :22nd International Symposium, SAS 2015, Saint-Malo, France, September 9-11, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Algorithms - ESA 2015[electronic resource] :23rd Annual European Symposium, Patras, Greece, September 14-16, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic, rationality, and interaction[electronic resource] :5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Transactions on large-scale data- and knowledge-centered systems XXII[electronic resource] /
…で:
(言語・文字資料 (印刷物))
Logic, mathematics, and computer science[electronic resource] :modern foundations with practical applications /
…で:
(言語・文字資料 (印刷物))
Inductive logic programming[electronic resource] :24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Text analysis pipelines[electronic resource] :towards ad-hoc large scale text mining /
…で:
(言語・文字資料 (印刷物))
Programming languages and systems[electronic resource] :13th Asian Symposium, APLAS 2015, Pohang, South Korea, November 30 - December 2, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Logic-based program synthesis and transformation[electronic resource] :25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Information security[electronic resource] :16th International Conference, ISC 2013, Dallas, Texas, November 13-15, 2013 : proceedings /
…で:
(言語・文字資料 (印刷物))
Recent trends in algebraic development techniques[electronic resource] :22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Logic for programming, artificial intelligence, and reasoning[electronic resource] :20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Chinese lexical semantics[electronic resource] :16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Foundations of biomedical knowledge representation[electronic resource] :methods and applications /
…で:
(言語・文字資料 (印刷物))
Models of strategic reasoning[electronic resource] :logics, games, and communities /
…で:
(言語・文字資料 (印刷物))
Formal methods: foundations and applications[electronic resource] :18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015 : proceedings /
…で:
(言語・文字資料 (印刷物))
Functional and logic programming[electronic resource] :13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Foundations of information and knowledge systems[electronic resource] :9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Theory and practice of formal methods[electronic resource] :essays dedicated to Frank de Boer on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
A list of successes that can change the world[electronic resource] :essays dedicated to Philip Wadler on the occasion of his 60th birthday /
…で:
(言語・文字資料 (印刷物))
Structured object-oriented formal language and method[electronic resource] :5th International Workshop, SOFL+MSVL 2015, Paris, France, November 6, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Trusted systems[electronic resource] :7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Semantic technology[electronic resource] :5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Model checking software[electronic resource] :23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Abstract state machines, Alloy, B, TLA, VDM, and Z[electronic resource] :5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Integrated formal methods[electronic resource] :12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Trends in functional programming[electronic resource] :16th International Symposium, TFP 2015, Sophia Antipolis, France, June 3-5, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Hybrid metaheuristics[electronic resource] :10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Perspectives on interrogative models of inquiry[electronic resource] :developments in inquiry and questions /
…で:
(言語・文字資料 (印刷物))
Structural analysis of non-classical logics[electronic resource] :the proceedings of the second Taiwan Philosophical Logic Colloquium /
…で:
(言語・文字資料 (印刷物))
Logical foundations of computer science[electronic resource] :International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Transactions on large-scale data- and knowledge-centered systems XXIII[electronic resource] :selected papers from FDSE 2014 /
…で:
(言語・文字資料 (印刷物))
Topics in theoretical computer science[electronic resource] :the first IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Trustworthy global computing[electronic resource] :10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Formal aspects of component software[electronic resource] :12th International Conference, FACS 2015, Niteroi, Brazil, October 14-16, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Algorithmic aspects of cloud computing[electronic resource] :first International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Language and automata theory and applications[electronic resource] :10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Pursuit of the universal[electronic resource] :12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Automated reasoning[electronic resource] :8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Inductive logic programming[electronic resource] :25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015 : revised selected papers /
…で:
(コンピュータ・メディア)
NASA formal methods[electronic resource] :8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Tests and proofs[electronic resource] :10th International Conference, TAP 2016, held as part of STAF 2016, Vienna, Austria, July 5-7, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Implementation and application of automata[electronic resource] :21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part I /
…で:
(コンピュータ・メディア)
Computer aided verification[electronic resource] :28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016 : proceedings.Part II /
…で:
(コンピュータ・メディア)
Intelligent computer mathematics[electronic resource] :9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Computing and combinatorics[electronic resource] :22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Developments in language theory[electronic resource] :20th International Conference, DLT 2016, Montreal, Canada, July 25-28, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Type systems for distributed programs[electronic resource] :components and sessions /
…で:
(コンピュータ・メディア)
Interactive theorem proving[electronic resource] :7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Combinatorial algorithms[electronic resource] :27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Web reasoning and rule systems[electronic resource] :10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Scalable uncertainty management[electronic resource] :10th International Conference, SUM 2016, Nice, France, September 21-23, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Software engineering for resilient systems[electronic resource] :8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Logic, language, information, and computation[electronic resource] :23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Descriptive set theoretic methods in automata theory[electronic resource] :decidability and topological complexity /
…で:
(コンピュータ・メディア)
Static analysis[electronic resource] :23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Fuzziness in information systems[electronic resource] :how to deal with crisp and fuzzy data in selection, classification, and summarization /
…で:
(コンピュータ・メディア)
Programming languages[electronic resource] :20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Reachability problems[electronic resource] :10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016 : proceedings /
…で:
(コンピュータ・メディア)
Scala[electronic resource] :from a functional programming perspective : an introduction to the programming language /
…で:
(コンピュータ・メディア)
Subjective logic[electronic resource] :a formalism for reasoning under uncertainty /
…で:
(コンピュータ・メディア)
Probability logics[electronic resource] :probability-based formalization of uncertain reasoning /
…で:
(コンピュータ・メディア)
Programming languages and systems[electronic resource] :14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
…で:
(コンピュータ・メディア)
FM 2016[electronic resource] :formal methods : 21st International Symposium, Limassol, Cyprus, November 9-11, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Chinese lexical semantics[electronic resource] :17th Workshop, CLSW 2016, Singapore, Singapore, May 20-22, 2016 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Formal methods[electronic resource] :foundations and applications : 19th Brazilian Symposium, SBMF 2016, Natal, Brazil, November 23-25, 2016 : proceedings /
…で:
(言語・文字資料 (印刷物))
Semantic technology[electronic resource] :6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016 : revised selected papers /
…で:
(言語・文字資料 (印刷物))
Deductive software verification - The KeY Book[electronic resource] :from theory to practice /
…で:
(言語・文字資料 (印刷物))
Engineering Multi-Agent Systems[electronic resource] :4th International Workshop, EMAS 2016, Singapore, Singapore, May 9-10, 2016 : revised, selected, and invited papers /
…で:
(言語・文字資料 (印刷物))
主題