検索結果 341 件
紙図書
国立国会図書館全国の図書館
- 並列タイトル等（連結）Logical Lectures & Notes on English Grammar
- 並列タイトル等Logical Lectures & Notes on English Grammar
紙図書
国立国会図書館
- 内容細目Geometry of optimal control problems and Hamiltonian systems / A......rachev Lecture notes on logically switched d......ility : basic concepts and results / E.D. Sontag Generalized......ntials, variational generators, ......le with state constraints / H.J....... Sliding mode control : mathemat......n and applications / V.I Utkin.
- 件名Nonlinear control theory -- Congresses. Mathematical optimization -- Congresses.
- 一般注記"Fondazione CIME."
紙図書
国立国会図書館全国の図書館
- 内容細目...ters Introduction: the computer as metaphor Control Cybernetic...... the digitization of the social ......ty as cultural logic On representation Text before images, or the logic of digital wor......mmable objects Notes Index.
- 件名Information technology--Social aspects. C...
- 関連情報Leonardo books
紙図書
国立国会図書館
- 要約等... ethnic exclusion and civil war,......ses this question. Roessler mode......ded states as confronting rulers wit......How rulers respond to this strat...... to be a function of their count...... the distribution of threat capa......public of the Congo based on years of field......isher description.
- 内容細目Part I. Motivation and central ar......litical exclusion The strategic logic of war in Afri...... The strategic logic of ethno-political exclusion : the breakdow......litical exclusion and civil war ......Part V. Extensions The strategic logic of peace in Africa Conclusion Appendix 1: A note on the book's qua...... variable dictionary Appendix 3: Data on ethnic transfe......icity of coup conspirators and insurgents.
- 件名...--Ethnic relations--Political aspects. Africa--...
紙記事
国立国会図書館全国の図書館
- 件名paraconsistent logic weak paraconsistentist prob......amic epistemic logic preference relation measurement th......y causal decision theory imaging
紙デジタル記事
国立国会図書館全国の図書館
紙図書
国立国会図書館全国の図書館
- 要約等...(1889-1951) is one of the most i......but he is also one of the least ......d clarify the connections between its d......tein's writing on a wide range o......ind, language, logic, and mathematics. The contributors illum......rk by focusing on key topics: th......ilosophy, the conception of grammar contained in it, r......le-following, convention, logical necessity, t......s revised edition includes a new introduction, five new essays - on Tractarian ethics, Wittgenste...
- 内容細目...ophy Pictures, logic, and the limit......ng the attractions of realism Notes and afterthoughts on the opening of......n's Investigations Mind, meaning......soul The question of linguistic ...... : the epistemological investigations of On Century.
A Note on Witnesses of Centralizing Monoids (Algebraic system, Logic, Language and Computer Science)
紙記事
国立国会図書館全国の図書館
- 件名commutation centralizing monoid witness
紙図書
国立国会図書館
- 要約等...erstanding of contemporary military missions in theatre. D......ypes of armed conflict, the soci......itaries in action continues to focus on tools develope......he hey-day of conventional wars. These tools focus on such classic issues as cohesion and leadership, communication and unit dynam......ne and motivation. While these issues continue to be imp...... studies focus on organic units ......brigades). By contrast, this vol......he utility of concepts related to mission formations - as opposed ......units' or 'components' - to bett......r capture the (ongoing) processu...... the amalgamations and combinations that milita...
- 内容細目... a Time': Mission Formations and Operational Entrapments ......ndrup Pedersen Logics battlefield: IT Contracting and Mi......About the Mission Formations Approach? Thinking Through t...
- 件名...egrated operations (Military science) Hybrid wa...
紙記事
国立国会図書館全国の図書館
- 並列タイトル等（連結）Notes on reverse recursion theory and reverse mathematic...
- 並列タイトル等Notes on reverse recursion theory and reverse mathematic...
紙図書
国立国会図書館
- 内容細目Dedication to a Theory of......ey What about Constraints in RDF? Some Remarks on Relational Database Sch...... Entropy Functionals The Subject......itting Foundations for a Fourth ......Update Reflections on Interdependent......antic Restriction over Second-Order Logic and Its Polyno...... Computing OSM-Logic: A Fact-Orient......ent Formalization of Object-orie......ase View Creation, Query Expression, and Query Execution On Models of Concepts and Data ......el Transformation By-Example: A ......the First Wave On Computing the ......ce of Associations in Large Conceptual Schemas Conceptual Modelin......nome: Integration Challenges Transforming Geome...
- ジャンル・形式用語Electronic books.
- 件名Simulation methods. Syste......e engineering. Logic design. Artifi...... intelligence. Logics and Meanings ....... Mathematical Logic and Formal Languages. Models ...
紙図書
国立国会図書館全国の図書館
- 要約等...e of the relationship between po......cal communication elites between......nki and Madrid on various aspect......n politics and on the mutual relationship of politic......ical spokespersons and journalis......identifies national political communication cultures acros......ary, pressures on the media and ......s that professional roles determ......ne the perception of news-making......he interpretation of daily polit......hos of professional conduct and interaction. "--
- 内容細目Machine generated contents note Table of Contents List of F......List of Tables Notes on ContributorsAcknow......Politics Relationship in Europe;......cal Communication Cultures and i......bara Pfetsch3.Contexts of the Me......Politics Relationship: Country Selection and Grouping; ......cal Communication Elites; Peter ......a Vähämaa5.National or Professional? Types of Po......cal Communication Cultures acros......I6.Public Opinion Polls as Input......cal Communication; Eva Mayerhöff......cratic Demands on the Media; Nicklas Håkansson and Eva Mayerh......hip and Collusion in the European Context; Anders Es......auer, Patrick Donges and Fritz Plasser10. Media...
- 件名Communication in politics--Europe, Western....
紙図書
国立国会図書館
- 内容細目...military relations in Japan / At......rratives of Estonian women livin......igatory to optional : thirty yea......ror : explorations of the milita......y and transnationality of retire......nship negotiation / Taeko Uesugi......military relations from international conflict zones to the United States : notes on mutual discontents and disruptive logics / Robert A. R......gled soldier : on the messiness ......om the occupation to Kenya / Ere......eking recognition : the experien......litary bases : on environmental issues a......it Interpretations of civil-military entangleme...
- 件名Civil-military relations--Case studies. Civil-military relations--Cross-cultural studies.
紙図書
国立国会図書館全国の図書館
- 内容細目Brain and evolution How animals pe......ayashi 著 Functional neuroanatomy...... advanced emotion learning Satos......meda 著 Modulation of physical un......tanding by common marmosets Yumi......ioural studies on dominance line......-face recognition Takeo Tsujii, ......著 Cerebral responses to temporal......d changes in neonates Yasuyo Min......著 Patterns of consumption of glucose water solutions in common marmosets Taku......著 Molecular biological approach to ......cal communication Masaki Kato, K......uo Okanoya 著 Phonetic processing......al and speech control using audi......i 著 Investigation of the resulta......yllogistic reasoning Takekazu Akiyama, Takayuki...
紙図書
国立国会図書館
- 内容細目SECCO : On building seman......ence of value constraints / H. J.......] Combining a logical and a numeri......od for data reconciliation / Fatiha Saïs,......istic description logic programs for t......et al.] Intensional first-order logic for P2P databa......ted visualisation of worklists / Ross Brown and...
- 件名...nguages (Electronic computers) -......antic integration (Computer systems)
- 一般注記...-2032 (Journal on data semantics) .
紙図書
国立国会図書館
- ジャンル・形式用語Conference proceedings.
- 件名...ter science)--Congresses. Lambda calculus--Congresses. Computer logic--Congresses. Computer logic. Lambda calculus. Rewriting s...
- 一般注記...enna Summer of Logic ... consisted of twelve large conferences and 82 workshops, ......
紙図書
国立国会図書館
- 件名Italian Association for Logic Programming. Logic programming.
- 並列タイトル等（連結）Twenty-five year perspective on logic programming
- 並列タイトル等Twenty-five year perspective on logic programming
紙記事
国立国会図書館全国の図書館
- 並列タイトル等（連結）A note on the prenex normal form theorem in super-intuitionistic predicate logics
- 並列タイトル等A note on the prenex normal form theorem in super-intuitionistic predicate logics
紙図書
国立国会図書館
- 要約等This book constitutes extend...... 12th International Symposium on Artificial Int......rom 50 submissions and present two workshops: Logic and Engineerin......LS 2020) focus on the formal and......nnual International Workshop rec......nized internationally in the for...... 14th International Workshop on Juris-informat......ve of information science. This ...... potential to contribute to this domain.
- ジャンル・形式用語Congress Conference papers and proceedings. Actes de congrès.
- 件名Artificial intelligence--Congresses. Intelligence artificielle--Congrès. Artificial intelligence...