Search Results for Logic

|

Kütüphane Hesabım

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Arama:

Gelişmiş Arama

Arama Sonuçlarını Sınırlandır

Daraltılmış:

+

Konu: Computer science.

Yazar

SpringerLink (Online service)

(1517)

Voronkov, Andrei. editor.

(16)

Boer, Frank S. editor.

(10)

Bonsangue, Marcello M. editor.

(10)

Rozenberg, Grzegorz. editor.

(10)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(9)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(9)

Barthe, Gilles. editor.

(8)

Dix, Jürgen. editor.

(8)

Leite, João. editor.

(8)

Liu, Zhiming. editor.

(8)

Löwe, Benedikt. editor.

(8)

Potapov, Igor. editor.

(8)

Baldoni, Matteo. editor.

(7)

Bernardo, Marco. editor.

(7)

Governatori, Guido. editor.

(7)

Queiroz, Ruy. editor.

(7)

Torroni, Paolo. editor.

(7)

Woodcock, Jim. editor.

(7)

Cooper, S. Barry. editor.

(6)

Dastani, Mehdi. editor.

(6)

Legay, Axel. editor.

(6)

Martín-Vide, Carlos. editor.

(6)

Ong, Luke. editor.

(6)

Son, Tran Cao. editor.

(6)

Stafford, Judith A. editor.

(6)

Steffen, Bernhard. editor.

(6)

Stenström, Per. editor.

(6)

Aldini, Alessandro. editor.

(5)

Arbab, Farhad. editor.

(5)

Beckert, Bernhard. editor.

(5)

Butler, Michael. editor.

(5)

Calude, Cristian S. editor.

(5)

Crnkovic, Ivica. editor.

(5)

Fages, François. editor.

(5)

Fiadeiro, José Luiz. editor.

(5)

Gabbay, Dov M. author.

(5)

Gorrieri, Roberto. editor.

(5)

Graf, Susanne. editor.

(5)

Hähnle, Reiner. editor.

(5)

Maciaszek, Leszek A. editor.

(5)

Majumdar, Rupak. editor.

(5)

Margaria, Tiziana. editor.

(5)

Meyer, Bertrand. editor.

(5)

Montanari, Ugo. editor.

(5)

Palsberg, Jens. editor.

(5)

Peled, Doron A. editor.

(5)

Petrosino, Alfredo. editor.

(5)

Peña, Ricardo. editor.

(5)

Reed, Rick. editor.

(5)

Rensink, Arend. editor.

(5)

Reussner, Ralf. editor.

(5)

Rossi, Francesca. editor.

(5)

Schmidt, Renate A. editor.

(5)

Schwiegelshohn, Uwe. editor.

(5)

Sirjani, Marjan. editor.

(5)

Veith, Helmut. editor.

(5)

Wolff, Burkhart. editor.

(5)

Zavattaro, Gianluigi. editor.

(5)

Ölveczky, Peter Csaba. editor.

(5)

Aßmann, Uwe. editor.

(4)

Bitsch, Friedemann. editor. (orcid)0000-0001-6152-4121

(4)

Bouajjani, Ahmed. editor.

(4)

Bravetti, Mario. editor.

(4)

Cavalcanti, Ana. editor.

(4)

Dediu, Adrian-Horia. editor.

(4)

Ehrig, Hartmut. editor.

(4)

Finkbeiner, Bernd. editor.

(4)

Frachtenberg, Eitan. editor.

(4)

Gibbons, Jeremy. editor.

(4)

Gorton, Ian. editor.

(4)

Hanus, Michael. editor.

(4)

Havelund, Klaus. editor.

(4)

Heineman, George T. editor.

(4)

Higashino, Teruo. editor.

(4)

Horváth, Zoltán. editor.

(4)

Huisman, Marieke. editor.

(4)

Ibarra, Oscar H. editor.

(4)

Jacko, Julie A. editor.

(4)

Johnsen, Einar Broch. editor.

(4)

Karhumäki, Juhani. editor.

(4)

Kobayashi, Naoki. editor.

(4)

Leucker, Martin. editor.

(4)

Mayr, Heinrich C. editor.

(4)

Merayo, Mercedes G. editor.

(4)

Meseguer, José. editor.

(4)

Nerode, Anil. editor.

(4)

Nicola, Rocco. editor.

(4)

Paige, Richard F. editor.

(4)

Palanque, Philippe. editor.

(4)

Paschke, Adrian. editor.

(4)

Roever, Willem-Paul. editor.

(4)

Romanovsky, Alexander. editor.

(4)

Schlechta, Karl. author.

(4)

Schürr, Andy. editor.

(4)

Seipel, Dietmar. editor.

(4)

Sichman, Jaime Simão. editor.

(4)

Sokolsky, Oleg. editor.

(4)

Ungerer, Theo. editor.

(4)

Varró, Dániel. editor.

(4)

Winikoff, Michael. editor.

(4)

Wolf, Karsten. editor.

(4)

Zeugmann, Thomas. editor.

(4)

Zsók, Viktória. editor.

(4)

Aceto, Luca. editor.

(3)

Alpuente, María. editor.

(3)

Artemov, Sergei. editor.

(3)

Artho, Cyrille. editor.

(3)

Baroglio, Cristina. editor.

(3)

Bensalem, Saddek. editor.

(3)

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093

(3)

Beyer, Dirk. editor. (orcid)0000-0003-4832-7662

(3)

Boella, Guido. editor.

(3)

Bordini, Rafael H. editor.

(3)

Bowen, Jonathan P. editor.

(3)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(3)

Broy, Manfred. editor.

(3)

Bruni, Roberto. editor.

(3)

Butterfield, Andrew. editor.

(3)

Chechik, Marsha. editor.

(3)

Cook, Byron. editor.

(3)

Corradini, Andrea. editor.

(3)

Damiani, Ferruccio. editor.

(3)

Dawar, Anuj. editor.

(3)

Derrick, John. editor.

(3)

Dingel, Juergen. editor.

(3)

Dowek, Gilles. author.

(3)

Eekelen, Marko. editor.

(3)

Engels, Gregor. editor.

(3)

Fallah Seghrouchni, Amal. editor.

(3)

Filipe, Joaquim. editor.

(3)

Fisher, Michael. editor.

(3)

Fitzgerald, John. editor.

(3)

Gerdt, Vladimir P. editor.

(3)

Grumberg, Orna. editor.

(3)

Guelfi, Nicolas. editor.

(3)

Hage, Jurriaan. editor.

(3)

Hartman, Alan. editor.

(3)

Heckel, Reiko. editor.

(3)

Henzinger, Thomas A. editor.

(3)

Hermanns, Holger. editor.

(3)

Hinchey, Mike. editor.

(3)

Hofmeister, Christine. editor.

(3)

Horimoto, Katsuhisa. editor.

(3)

Huisman, Marieke. editor. (orcid)0000-0003-4467-072X

(3)

Jansen, Nils. editor. (orcid)0000-0003-1318-8973

(3)

Jones, Cliff B. editor.

(3)

Junges, Sebastian. editor. (orcid)0000-0003-0978-8466

(3)

Kaminski, Benjamin Lucien. editor. (orcid)0000-0001-5185-2324

(3)

Katz, Shmuel. editor.

(3)

Khurshid, Sarfraz. editor.

(3)

Koepf, Wolfram. editor.

(3)

Koutny, Maciej. editor.

(3)

Kovács, Laura. editor.

(3)

Kreowski, Hans-Jörg. editor.

(3)

Kučera, Antonín. editor.

(3)

Lepistö, Arto. editor.

(3)

Leuschel, Michael. editor.

(3)

Lisi, Francesca A. editor.

(3)

Liu, Shaoying. editor.

(3)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(3)

Lopes, Antónia. editor.

(3)

Lumpe, Markus. editor.

(3)

Lämmel, Ralf. editor.

(3)

Masulli, Francesco. editor.

(3)

Matheja, Christoph. editor. (orcid)0000-0001-9151-0441

(3)

Małuszyński, Jan. editor.

(3)

Mezini, Mira. editor.

(3)

Métais, Elisabeth. editor.

(3)

Nikitchenko, Mykola. editor.

(3)

Noll, Thomas. editor. (orcid)0000-0002-1865-1798

(3)

Noriega, Pablo. editor.

(3)

Núñez, Manuel. editor.

(3)

Omicini, Andrea. editor.

(3)

Orejas, Fernando. editor.

(3)

Ossowski, Sascha. editor.

(3)

Paulin-Mohring, Christine. editor.

(3)

Pfenning, Frank. editor.

(3)

Plasil, Frantisek. editor.

(3)

Podelski, Andreas. editor.

(3)

Pogodalla, Sylvain. editor.

(3)

Pol, Jaco. editor.

(3)

Quatmann, Tim. editor. (orcid)0000-0002-2843-5511

(3)

Rahonis, George. editor.

(3)

Ren, Jinchang. editor.

(3)

Riemsdijk, M. Birna. editor.

(3)

Roman, Dumitru. editor.

(3)

Roşu, Grigore. editor.

(3)

Rubin, Julia. editor.

(3)

Rudolph, Sebastian. editor.

(3)

Salaün, Gwen. editor.

(3)

Salomaa, Arto. editor.

(3)

Saraiva, João. editor.

(3)

Sardina, Sebastian. editor.

(3)

Schmidt, Heinz W. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Schätz, Bernhard. editor.

(3)

Sebastiani, Roberto. editor.

(3)

Steffen, Martin. editor.

(3)

Stephanidis, Constantine. editor.

(3)

Tümünü genişlet

Dil

(1502)

(14)

(2)

Yayın Yılı

-

(164)

(139)

(133)

(132)

(119)

(118)

(112)

(112)

(110)

(105)

(93)

(88)

(43)

(33)

(14)

(1)

(1)

(1)

Tümünü genişlet

Konu

(1029)

Software engineering.

(928)

Artificial intelligence.

(506)

Computer Communication Networks.

(325)

Computer software.

(234)

Computer Science Logic and Foundations of Programming.

(231)

Formal Languages and Automata Theory.

(143)

Machine theory.

(143)

Computational complexity.

(108)

Computer simulation.

(104)

Logics and Meanings of Programs.

(103)

Compilers (Computer programs).

(101)

Compilers and Interpreters.

(101)

Information Systems.

(101)

Logic, Symbolic and mathematical.

(101)

Mathematical Logic and Formal Languages.

(101)

Theory of Computation.

(94)

Operating systems (Computers).

(88)

Information theory.

(85)

(80)

Algebra -- Data processing.

(79)

Information systems.

(73)

Programming Techniques.

(72)

Information storage and retrieval systems.

(67)

Computer science -- Mathematics.

(61)

Artificial Intelligence (incl. Robotics).

(57)

Programming Languages, Compilers, Interpreters.

(56)

Computer networks .

(55)

Computer system performance.

(54)

Data structures (Computer science).

(52)

Computer programming.

(45)

Discrete Mathematics in Computer Science.

(43)

(43)

Electronic data processing.

(40)

Computer Modelling.

(39)

Computer network architectures.

(39)

(37)

Application software.

(35)

(35)

Computer and Information Systems Applications.

(33)

Mathematical Logic and Foundations.

(33)

Special Purpose and Application-Based Systems.

(33)

Database management.

(32)

Algorithm Analysis and Problem Complexity.

(31)

Computation by Abstract Devices.

(29)

Computers, Special purpose.

(28)

Data protection.

(27)

Computer vision.

(26)

Discrete mathematics.

(26)

Mathematical logic.

(26)

Multimedia systems.

(25)

Mathematics of Computing.

(24)

Philosophy (General).

(24)

Bioinformatics.

(23)

Information Storage and Retrieval.

(22)

Computer engineering.

(21)

Computer Engineering and Networks.

(20)

Management information systems.

(20)

Information Systems Applications (incl. Internet).

(19)

System Performance and Evaluation.

(19)

Electronic data processing -- Management.

(18)

(18)

Symbolic and Algebraic Manipulation.

(17)

Systems engineering.

(17)

(16)

Probability and Statistics in Computer Science.

(16)

(15)

Logic programming.

(15)

Natural language processing (Computer science).

(15)

Data transmission systems.

(14)

Natural Language Processing (NLP).

(14)

Computer System Implementation.

(13)

Computer systems.

(13)

Data Mining and Knowledge Discovery.

(13)

Electronic digital computers -- Evaluation.

(13)

Management of Computing and Information Systems.

(13)

Translators (Computer programs).

(13)

Control Structures and Microprogramming.

(12)

Mathematical statistics.

(12)

Microprogramming .

(12)

Optical pattern recognition.

(12)

Simulation and Modeling.

(12)

Arithmetic and Logic Structures.

(11)

(11)

Programming languages (Electronic computers).

(11)

(10)

Computer logic.

(10)

Data encryption (Computer science).

(10)

Computer hardware.

(9)

Computer industry.

(9)

(9)

Science -- Philosophy.

(9)

User Interfaces and Human Computer Interaction.

(9)

Computer Application in Administrative Data Processing.

(8)

Computer aided design.

(8)

Information technology -- Management.

(8)

Math Applications in Computer Science.

(8)

Memory management (Computer science).

(8)

Operating Systems.

(8)

(7)

Data and Information Security.

(7)

Genetic epistemology.

(7)

Social sciences -- Data processing.

(7)

Artificial intelligence -- Data processing.

(6)

Computer Science, general.

(6)

(6)

Mathematical Applications in Computer Science.

(6)

Numeric Computing.

(6)

Software Engineering/Programming and Operating Systems.

(6)

Computational Biology/Bioinformatics.

(5)

Computational linguistics.

(5)

Computer Imaging, Vision, Pattern Recognition and Graphics.

(5)

Computer graphics.

(5)

Computer security.

(5)

Data Structures and Information Theory.

(5)

Data structures (Computer scienc.

(5)

Design and Analysis of Algorithms.

(5)

Distribution (Probability theory).

(5)

Linguistics -- Philosophy.

(5)

Models of Computation.

(5)

(5)

(5)

The Computing Profession.

(5)

Data Structures.

(4)

Human-computer interaction.

(4)

Machine learning.

(4)

Microprogramming.

(4)

Numerical analysis.

(4)

Operations research.

(4)

Pattern Recognition.

(4)

(4)

Processor Architectures.

(4)

Programming Language.

(4)

Science -- History.

(4)

Text processing (Computer science.

(4)

User interfaces (Computer systems).

(4)

Applications of Mathematics.

(3)

Coding and Information Theory.

(3)

Computer Appl. in Administrative Data Processing.

(3)

Computer Appl. in Social and Behavioral Sciences.

(3)

Computer Application in Social and Behavioral Sciences.

(3)

Computer arithmetic and logic units.

(3)

Computer communication systems.

(3)

Computer system failures.

(3)

(3)

Economics, Mathematical.

(3)

(3)

(3)

Engineering mathematics.

(3)

Mathematics_$xHistory.

(3)

Memory Structures.

(3)

Monoclonal antibodies.

(3)

Performance and Reliability.

(3)

Quantum computers.

(3)

(3)

Telecommunication.

(3)

Business Information Systems.

(2)

Business information services.

(2)

Circuits and Systems.

(2)

Computational Intelligence.

(2)

Computational and Systems Biology.

(2)

Computational intelligence.

(2)

Computer Hardware.

(2)

Computer-Aided Engineering (CAD, CAE) and Design.

(2)

Computer-aided engineering.

(2)

Computers and Education.

(2)

Document Preparation and Text Processing.

(2)

Expert systems (Computer science).

(2)

History of Computing.

(2)

History of Mathematical Sciences.

(2)

History of Philosophy.

(2)

IT in Business.

(2)

Image Processing and Computer Vision.

(2)

Information Systems and Communication Service.

(2)

Knowledge Based Systems.

(2)

Mathematical optimization.

(2)

(2)

(2)

Operations Research and Decision Theory.

(2)

(2)

Quantum Computing.

(2)

Quantum physics.

(2)

Quantum theory.

(2)

(2)

Register-Transfer-Level Implementation.

(2)

Systems and Data Security.

(2)

Technology -- Philosophy.

(2)

(2)

Algebra, Homological.

(1)

Algebraic logic.

(1)

Algebraic topology.

(1)

Automated Pattern Recognition.

(1)

C++ (Computer program language).

(1)

(1)

Category Theory, Homological Algebra.

(1)

Chemistry -- Mathematics.

(1)

(1)

Civil engineering.

(1)

Computational Science and Engineering.

(1)

Computer Appl. in Arts and Humanities.

(1)

Tümünü genişlet

Materyal Türü

Shelf Location

Elektronik Kütüphane

Kütüphane

Çevrimiçi Kütüphane

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Liste görünümüne geç

Küçük resim görünümüne geç

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1518 sonuç bulundu

Arama sonuçlarına abone ol

1 2 3 4 5 6 .. 127

000000000000DEFAULT_TR

Yazdır

Liste seç

Bunu varsayılan liste yap.

Öğeler başarıyla eklendi

Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.

One or more items could not be added because you are not logged in.

1.

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings için kapak resmi

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings

Yazar

Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-96-7956-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures için kapak resmi

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic 19th International Summer School 2023 Oslo, Norway, September 21-24, 2023, Tutorial Lectures

Yazar

Console, Marco. editor. (orcid)0009-0004-5526-019X Konev, Boris. editor. (orcid)0000-0002-6507-0494 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-80283-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings için kapak resmi

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Crossroads of Computability and Logic: Insights, Inspirations, and Innovations 21st Conference on Computability in Europe, CiE 2025, Lisbon, Portugal, July 14-18, 2025, Proceedings

Yazar

Beckmann, Arnold. editor. (orcid)0000-0001-7958-5790 Oitavem, Isabel. editor. (orcid)0000-0002-3573-9281 Manea, Florin. editor. (orcid)0000-0001-6094-3324 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-95908-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers için kapak resmi

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

Logic and Engineering of Natural Language Semantics 20th International Conference, LENLS20, Osaka, Japan, November 18-20, 2023, Revised Selected Papers

Yazar

Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260 Mineshima, Koji. editor. (orcid)0000-0002-2801-9171 McCready, Elin. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-60878-0

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers için kapak resmi

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Rewriting Logic and Its Applications 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers

Yazar

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259 Martí-Oliet, Narciso. editor. (orcid)0000-0002-6576-762X SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-65941-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings için kapak resmi

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings

Yazar

Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-55630-2

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings için kapak resmi

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Logic-Based Program Synthesis and Transformation 34th International Symposium, LOPSTR 2024, Milan, Italy, September 9-10, 2024, Proceedings

Yazar

Bowles, Juliana. editor. (orcid)0000-0002-5918-9114 Søndergaard, Harald. editor. (orcid)0000-0002-2352-1883 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-71294-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers için kapak resmi

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers

Yazar

Gierasimczuk, Nina. editor. Velázquez-Quesada, Fernando R. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-51777-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings için kapak resmi

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15-17, 2024, Proceedings

Yazar

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917 Miller, Dale. editor. (orcid)0000-0003-0274-4954 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-981-97-2300-3

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence" için kapak resmi

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Logic: Reference Book for Computer Scientists The 2nd Revised, Modified, and Enlarged Edition of "Logics for Computer and Data Sciences, and Artificial Intelligence"

Yazar

Polkowski, Lech T. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-42034-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

11.

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers için kapak resmi

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Yazar

Fioravanti, Fabio. editor. (orcid)0000-0002-1268-7829 Gallagher, John P. editor. (orcid)0000-0001-6984-7419 SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-94460-9

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

12.

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings için kapak resmi

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Rewriting Logic and Its Applications 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings

Yazar

Rusu, Vlad. editor. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-319-99840-4

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Eylem Seç

Ayırt
Listelerime ekle
Eposta
Yazdır

1 2 3 4 5 6 .. 127

Copyright 2011 Sirsi Corporation - Enterprise Version 5.0.0.11