Search by Bookstore
Holdings of Libraries in Japan
This page shows libraries in Japan other than the National Diet Library that hold the material.
Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.
Search by Bookstore
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 図書
- Publication, Distribution, etc.
- Place of Publication (Country Code)
- ne
- Text Language Code
- en
- Target Audience
- 一般
- Related Material
- SAT2000 : highlights of satisfiability research in the year 2000Algorithms and architectures of artificial intelligenceECAI 2002 : 15th European Conference on Artificial Intelligence, July 21-26, 2002, Lyon,France : including Prestigious Applications of Intelligent Systems (PAIS 2002) : proceedingsDesign and application of hybrid intelligent systemsParallel genetic algorithms : theory and applicationsFoundations, theory and applicationsMany-agent simulation and artificial lifeNorms, logics and information systems : new studies in deontic logic and computer scienceProspects for artificial intelligence : proceedings of AISB93 : the ninth biennial conference of the Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 29 March - 2 April 1993, The University of BirminghamKnowledge-based software engineering : proceedings of the Third Joint Conference on Knowledge-based Software Engineering in Smolenice, Slovakia, 1998Legal knowledge and information systems : JURIX 2001 : the fourteenth annual conferenceLegal knowledge and information systems : JURIX 2008 : the twenty-first annual conferenceAdvances in logic, artificial intelligence and robotics : LAPTEC 2002Legal knowledge and information systems : JURIX 2016 : the twenty-ninth annual conferenceSpatiotemporal models in biological and artificial systemsAn inductive logic programming approach to statistical relational learningIntelligent condition monitoring and diagnosis systems : a computational intelligence approachOntology learning from text : methods, evaluation and applicationsArtificial intelligence in education : supporting learning through intelligent and socially informed technologyAdvances in information modelling and knowledge basesAdaptive stream mining : pattern learning and mining from evolving data streamsReusable components for knowledge modelling : case studies in parametric design problem solvingArtificial intelligence in education : AI-ED in the wired and wireless futureKnowledge-based software engineering : proceedings of the fourth joint Conference on Knowledge-Based Software Engineering, Brno, Czech Republic, 2000Formal Ontology in Information Systems : proceedings of the Third International Conference (FOIS-2004)ECAI 2006 : 17th European Conference on Artificial Intelligence, August 29- September 1, 2006, Riva del Garda, Italy : including Prestigious Applications of Intelligent Systems (PAIS 2006) : proceedingsChaos and societyNew directions in AI planningRecent advances in artificial intelligence research and developmentScandinavian Conference on Artificial Intelligence - 93 : proceedings of the Fourth Scandinavian Conference on Artificial Intelligence, Electrum, Stockholm, Sweden, May 4-7, 1993 : SCAI-93Intelligent agents for telecommunications applications : basics, tools, languages and applicationsLaw, ontologies and the semantic web : channelling the legal information floodIntelligent technologies - theory and applications : new trends in intelligent technologiesFormal Ontology in Information Systems : Proceedings of the First International Conference(FOIS'98), June 6-8, Trento, ItalyAdvances in Molecular BioinformaticsConcepts, methods and systemsLegal knowledge and information systems : JURIX 2011 : the twenty-fourth annual conferenceLISP evolution and standardization : proceedings of the First International Workshop, 22-23 February 1988, Paris, FranceDesigning cooperative systems : the use of theories and models : proceedings of the 5th International Conference on the Design of Cooperative Systems (COOP'2000)Legal knowledge engineering : a modelling approachLegal knowledge and information systems : JURIX 2012 : the twenty-fifth annual conferenceArtificial intelligence in education : shaping the future of learning through intelligent technologiesInformation modelling and knowledge basesECAI 2012 : 20th European Conference on Artificial Intelligence, 27-31 August 2012, Montpellier, France : including Prestigious Applications of Artificial Intelligence (PAIS-2012) System Demonstrations Track : proceedingsArtificial intelligence : methodology, systems, applications : [proceedings of the Seventh International Conference on Artificial Intelligence, Methodology, Systems, Applications (AIMSA '96), Sozopol, Bulgaria, September, 18-20, 1996]CommonKADS Library for expertise modelling : reusable problem solving componentsExplorations in intelligent tutoring and helpActive mining : new directions of data miningGenetic algorithms in optimisation, simulation and modellingTeaching and learning in a network world : TechEd 2000 proceedingsECAI 2010 : 19th European Conference on Artificial Intelligence, 16-20 August 2010, Lisbon, Portugal : including Prestigious Applications of Artificial Intelligence (PAIS-2010) : proceedingsThe emerging semantic web : selected papers from the first semantic web working symposiumCooperative systems design : scenario-based design of collaborative systemsScandinavian Conference on Artificial Intelligence - 89 : proceedings of the SCAI '89, Tampere, Finland, 13-15 June 1989Knowledge-based software engineering : proceedings of the Sixth Joint Conference on Knowledge-Based Software EngineeringECAI 2016 : 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands : including Prestigious Applications of Artficial Intelligence (PAIS 2016)Brain, mind and physicsHandbook of satisfiabilityNeuro-symbolic artificial intelligence : the state of the artAdvances in intelligent systems : theory and applicationsLegal knowledge and information systems : JURIX 2014 : the twenty-seventh annual conferenceArtificial intelligence in education : open learning environments : new computational technologies to support learning, exploration and collaborationLegal knowledge and information systems : JURIX 2005 : the eighteenth annual conferenceLegal knowledge and information systems : JURIX 2000 : the thirteenth annual conferenceHandbook of satisfiabilityECAI 2000 : 14th European Conference on Artificial Intelligence, August 20-25, 2000, Berlin, Germany : including Prestigious Applications of Intelligent Systems (PAIS-2000) : proceedingsCurrent trends in AI planning : EWSP '93 - 2nd European Workshop on PlanningFrom information to knowledge : online access to legal information : methodologies, trends and perspectivesModel-based reasoning about learner behaviourLegal knowledge and information systems : JURIX 2015 : the twenty-eignth annual conferenceCurrent trends in knowledge acquisitionScandinavian Conference on Artificial Intelligence - 91 : "Odin's ravens" : proceedings of the SCAI '91, Roskilde, Denmark, 21-24 May 1991Advanced research in computers and communications in education : new human abilities for the networked societySymbols versus neurons ?Qualitative spatial resoning : theory and practice : application to robot navigationAdvances in mining graphs, trees and sequencesECAI 2008 : 18th European Conference on Artificial Intelligence, July 21-25, 2008, Patras, Greece : including Prestigious Applications of Intelligent Systems (PAIS 2008) : proceedingsECAI 2014 : 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic : including Prestigious Applications of Intelligent Systems (PAIS 2014)Artificial intelligence in education : building learning systems that care : from knowledge representation to affective modellingOntology and the semantic webMachine reconstruction of human control strategiesTowards the learning grid : advances in human learning servicesStochastic models of neural networksAdvances in inductive logic programmingArtificial intelligence in education : knowledge and media in learning systemsPattern recognition and applicationsArtificial intelligence in education : building technology rich learning contexts that workTowards sustainable and scalable educational innovations informed by the learning sciences : sharing good practices of research, experimentation and innovationLegal knowledge and information systems : JURIX 2004 : the seventeenth annual conferenceLegal knowledge and information systems : JURIX 2006 : the Nineteenth Annual ConferenceTeaching and Learning in Logo-based Environments : proceedings of the Eurologo '89 conference, 30 August - 1 September 1989, Gent, BelgiumECAI 2004 : 16th European Conference on Artificial Intelligence, August 22-27, 2004, Valencia, Spain : including Prestigious Applicants of Intelligent Systems (PAIS 2004) : proceedingsEvolving knowledge bases : specification and semanticsLegal knowledge and information systems : JURIX 2010 : the twenty-third annual conferenceKnowledge transformation for the semantic webHybrid problems, hybrid solutionsArtificial intelligence research and developmentKnowledge-based intelligent information engineering systems & allied technologies : KES'2001Legal knowledge and information systems : JURIX 2013 : the twenty-sixth annual conferenceAnnotation for the semantic webScandinavian Conference on Artificial Intelligence : proceedings of the SCAI'88, Tromsø, Norway, 9-11 March 1988Advances in logic based intelligent systems : selected papers of LAPTEC 2005Mind versus computer : Were Dreyfus and Winograd right ?Worldwide intelligent systems : approaches to telecommunications and network managementAgent-based approaches in economic and social complex systemsLegal knowledge and information systems : JURIX 2002 : the fifteenth annual conferenceLegal knowledge and information systems : JURIX 2007 : the twentieth annual conferenceNew frontiers in computational intelligence and its applicationsKnowledge engineering and agent technologySoft computing systems : design, management and applicationsKnowledge-based software engineering : proceedings of the fifth Joint Conference on Knowledge-Based Software EngineeringInvariant object recognition based on elastic graph matching : theory and applicationsFuzzy clustering via proportional membership modelNew trends in software methodologies, tools and techniques : proceedings of Lyee-W02Seventh Scandinavian Conference on Artificial Intelligence : SCAI'01Multi-relational data miningKnowledge modeling & expertise transfer : proceedings of the First International Conference on Knowledge Modeling & Expertise Transfer : Sophia-Antipolis, French Riviera, France, April 22-24, 1991Software engineering : evolution and emerging technologiesLegal theory, sources of law and the semantic webConstraint reasoning for differential modelsLegal knowledge and information systems : JURIX 2009 : the twenty-second annual conferenceApproximation methods for efficient learning of Bayesian networksPrinciples and formal techniquesHandbook of satisfiabilityKnowledge-based intelligent information engineering systems and allied technologies : KES 2002Knowledge-based intelligent information engineering systems and allied technologies : KES 2002
- Related Material (URI)
- Data Provider (Database)
- 国立情報学研究所 : CiNii Research
- Original Data Provider (Database)
- CiNii Books