Search Results - Logic and constraint programming. Keywords and phrases automaty theory*

A FORMAL NOTATION OF LEGAL RULES APPLICABLE IN THE LOCAL SPACE.

Alternate Title: FORMALNY ZAPIS REGUŁ PRAWNYCH OBOWIĄZUJĄCYCH W PRZESTRZENI LOKALNEJ. (Polish)

Authors: Barańska, Anna Marta Eckes, Konrad

Source: Geoinformatica Polonica; 2024, Vol. 23, p101-112, 12p

Subject Terms: ARTIFICIAL intelligence, INFORMATION technology, LEGAL rights, SPACE law, SPATIAL behavior

Language and Automata Theory and Applications : 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings

Authors: Shmuel Tomi Klein Carlos Martín-Vide Dana Shapira

Resource Type: eBook.

Subjects: Computer science, Machine theory, Algorithms, Computer programming, Artificial intelligence, Computer science—Mathematics, Mathematical statistics

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Programming / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Probability & Statistics / General

Developments in Language Theory : 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings

Authors: Mizuho Hoshi Shinnosuke Seki

Resource Type: eBook.

Subjects: Computer science, Machine theory, Algorithms, Artificial intelligence, Data structures (Computer science), Information theory, Computer science—Mathematics

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Programming / Algorithms, MATHEMATICS / Applied

Playing at a Distance : Borderlands of Video Game Aesthetic

Authors: Sonia Fizek

Resource Type: eBook.

Subjects: Video games--Design, Aesthetics

Categories: SOCIAL SCIENCE / Media Studies, GAMES & ACTIVITIES / Video & Mobile, SOCIAL SCIENCE / Technology Studies

Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings

Authors: Glyn Morrill Mark-Jan Nederhof

Resource Type: eBook.

Subjects: Computational linguistics--Congresses, Mathematical linguistics--Congresses, Formal languages--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / General, COMPUTERS / Artificial Intelligence / General, MATHEMATICS / Algebra / General

Implementation of Circular Economy in Supply Chains and Production Systems

Authors: Roma Marczewska-Kuzma Lukasz Hadas Paulina Golinska-Dawson

Resource Type: eBook.

Subjects: Supply chain management, Circular economy, Sustainable development

Categories: SCIENCE / Environmental Science

Prophets of Computing : Visions of Society Transformed by Computing

Authors: Dick van Lente

Resource Type: eBook.

Subjects: Computers--History, Computers--Social aspects

Categories: COMPUTERS / General, COMPUTERS / Social Aspects, COMPUTERS / History

Histories of Computing in Eastern Europe

Authors: Christopher Leslie Martin Schmitt

Resource Type: eBook.

Subjects: Computers—History, Application software, Data protection

Categories: COMPUTERS / History, COMPUTERS / Business & Productivity Software / General, COMPUTERS / Security / General

Computational Collective Intelligence. Technologies and Applications : 5th International Conference, ICCCI 2013, Craiova, Romania, September 11-13, 2013, Proceedings

Authors: Costin Badica Ngoc Thanh Nguyen Marius Brezovan

Resource Type: eBook.

Subjects: Artificial intelligence, Data mining, Computer networks, Education—Data processing

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Data Science / Data Analytics, COMPUTERS / Networking / General, EDUCATION / Computers & Technology, MATHEMATICS / Probability & Statistics / General

Intelligent Decision Support Systems for Managerial Decision Making

Authors: Ștefănescu, Laura Hunka, Frantisek

Resource Type: eBook.

Subjects: Strategic planning, Decision support systems, Decision making

Categories: COMPUTERS / Management Information Systems

Filtrowanie informacji

Authors: Witold Abramowicz

Resource Type: eBook.

Subjects: Information science, Electronic information resource searching

Categories: BUSINESS & ECONOMICS / Information Management

Artificial Intelligence and Security in Computing Systems

Authors: Jerzy Soldek Leszek Drobiazgiewicz

Resource Type: eBook.

Subjects: Artificial intelligence, Cryptography, Data encryption (Computer science), Computer science

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Security / Cryptography & Encryption

Neural Networks and Soft Computing

Authors: Leszek Rutkowski

Resource Type: eBook.

Subjects: Artificial intelligence

Categories: COMPUTERS / Artificial Intelligence / General

Dictionary of Electronics, Computing and Telecommunications/Wörterbuch Der Elektronik, Datentechnik Und Telekommunikation

Authors: Vittorio Ferretti

Resource Type: eBook.

Subjects: Electric engineering--Dictionaries, English language--Dictionaries--German, German language--Dictionaries--English

Categories: TECHNOLOGY & ENGINEERING / Electrical, BUSINESS & ECONOMICS / Information Management, COMPUTERS / Data Transmission Systems / Electronic Data Interchange, COMPUTERS / Management Information Systems, COMPUTERS / Software Development & Engineering / General, TECHNOLOGY & ENGINEERING / Electronics / General, TECHNOLOGY & ENGINEERING / Telecommunications

Stochastic Control : Proceedings of the 2nd IFAC Symposium, Vilnius, Lithuanian SSR, USSR, 19-23 May 1986

Authors: N.K. Sinha L.A. Telksnys

Resource Type: eBook.

Subjects: Stochastic control theory--Congresses

Categories: TECHNOLOGY & ENGINEERING / Engineering (General)