Search Results for Computer Science Logic and Foundations of Programming.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Language: English

Author

SpringerLink (Online service)

(233)

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

(9)

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

(9)

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

(4)

Artho, Cyrille. editor.

(3)

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

(3)

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

(3)

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

(3)

Legay, Axel. editor.

(3)

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

(3)

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

(3)

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

(3)

Schmidt, Renate A. editor.

(3)

Schoitsch, Erwin. editor.

(3)

Stoelinga, Mariëlle. editor. (orcid)0000-0001-6793-8165

(3)

Volk, Matthias. editor. (orcid)0000-0002-3810-4185

(3)

Ölveczky, Peter Csaba. editor.

(3)

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

(2)

Bouajjani, Ahmed. editor.

(2)

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

(2)

Chaudhuri, Swarat. editor.

(2)

Câmpeanu, Cezar. editor.

(2)

De Nicola, Rocco. editor.

(2)

Farzan, Azadeh. editor.

(2)

Fränzle, Martin. editor.

(2)

Gnesi, Stefania. editor. (orcid)0000-0002-0139-0421

(2)

Guiochet, Jérémie. editor.

(2)

Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801

(2)

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

(2)

Johnsen, Einar Broch. editor.

(2)

Kapur, Deepak. editor.

(2)

Kleijn, Jetty. editor.

(2)

Koutny, Maciej. editor. (orcid)0000-0003-4563-1378

(2)

Kunčak, Viktor. editor.

(2)

Lanese, Ivan. editor. (orcid)0000-0003-2527-9995

(2)

Larsen, Kim Guldstrand. editor.

(2)

Lecomte, Thierry. editor.

(2)

Liu, Shaoying. editor.

(2)

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

(2)

Majumdar, Rupak. editor.

(2)

Mousavi, Mohammad Reza. editor.

(2)

Ogata, Kazuhiro. editor. (orcid)0000-0002-4441-3259

(2)

Perini, Anna. editor. (orcid)0000-0001-8818-6476

(2)

Pogodalla, Sylvain. editor.

(2)

Potapov, Igor. editor.

(2)

Pradella, Matteo. editor. (orcid)0000-0003-3039-1084

(2)

Proença, José. editor.

(2)

Rossi, Matteo. editor. (orcid)0000-0002-9193-9560

(2)

Rozier, Kristin Yvonne. editor. (orcid)0000-0002-6718-2828

(2)

Skavhaug, Amund. editor.

(2)

Tonetta, Stefano. editor.

(2)

Wąsowski, Andrzej. editor.

(2)

Zhang, Zili. editor.

(2)

de Moura, Leonardo. editor.

(2)

Ábrahám, Erika. editor.

(2)

Abate, Alessandro. editor.

(1)

Abate, Alessandro. editor. (orcid)0000-0002-5627-9093

(1)

Abbas, Houssam. editor. (orcid)0000-0002-8096-2618

(1)

Abdulla, Parosh Aziz. editor. (orcid)0000-0001-6832-6611

(1)

Agha, Gul. editor.

(1)

Ahrendt, Wolfgang. editor.

(1)

Aichernig, Bernhard K. editor.

(1)

Akama, Seiki. editor.

(1)

Albert, Elvira. editor.

(1)

Alferes, Jose Julio. editor.

(1)

Alkhalaf, Muath. author.

(1)

Amblard, Maxime. editor.

(1)

Amos, Martyn. editor.

(1)

An, Bo. editor.

(1)

Antonucci, Alessandro. editor.

(1)

Anutariya, Chutiporn. editor. (orcid)0000-0001-7101-212X

(1)

Arbel, Eli. editor.

(1)

Artemov, Sergei. editor.

(1)

Ayala-Rincón, Mauricio. author.

(1)

Ayala-Rincón, Mauricio. editor.

(1)

Aydin, Abdulbaki. author.

(1)

Bader, Markus. editor.

(1)

Baldoni, Matteo. editor. (orcid)0000-0002-9294-0408

(1)

Balduccini, Marcello. editor.

(1)

Baltag, Alexandru. editor.

(1)

Barbosa, Simone D.J. editor. (orcid)0000-0002-0044-503X

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Barrett, Clark. editor.

(1)

Basili, Roberto. editor. (orcid)0000-0001-5140-0694

(1)

Batsakis, Sotiris. editor.

(1)

Battiti, Roberto. editor. (orcid)0000-0002-0259-8603

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Bazzan, Ana. editor.

(1)

Beckert, Bernhard. editor. (orcid)0000-0002-9672-3291

(1)

Bekki, Daisuke. editor. (orcid)0000-0002-9988-1260

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Berger, Christian. editor.

(1)

Bernardo, Marco. editor.

(1)

Bertogna, Marko. editor.

(1)

Bertossi, Leopoldo. editor.

(1)

Bertrand, Nathalie. editor. (orcid)0000-0002-9957-5394

(1)

Best, Eike. editor.

(1)

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

(1)

Biro, Miklos. editor.

(1)

Blanchette, Jasmin Christian. editor.

(1)

Blazy, Sandrine. editor.

(1)

Blieberger, Johann. editor.

(1)

Bloem, Roderick. editor.

(1)

Bogomolov, Sergiy. editor.

(1)

Boldo, Sylvie. editor.

(1)

Bonsangue, Marcello M. editor. (orcid)0000-0003-3746-3618

(1)

Bonsangue, Marcello. editor. (orcid)0000-0003-3746-3618

(1)

Bortolussi, Luca. editor.

(1)

Bowen, Jonathan P. editor.

(1)

Bowles, Juliana. editor. (orcid)0000-0002-5918-9114

(1)

Bozzano, Marco. editor. (orcid)0000-0002-4135-103X

(1)

Bošnački, Dragan. editor.

(1)

Braga, Christiano. editor.

(1)

Brlek, Srečko. editor.

(1)

Bubel, Richard. editor.

(1)

Bultan, Tevfik. author.

(1)

Butler, Michael. editor.

(1)

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706

(1)

Carayol, Arnaud. editor.

(1)

Carmona, Josep. editor.

(1)

Castor, Fernando. editor.

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Charatan, Quentin. author.

(1)

Charlier, Émilie. editor.

(1)

Chechik, Marsha. editor.

(1)

Chechik, Marsha. editor. (orcid)0000-0002-6301-3517

(1)

Chen, Yidong. editor. (orcid)0000-0002-0243-7228

(1)

Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520

(1)

Cholvy, Laurence. editor.

(1)

Chopra, Amit K. editor.

(1)

Chowdhary, K.R. author.

(1)

Cinquemani, Eugenio. editor.

(1)

Comyn-Wattiau, Isabelle. editor.

(1)

Condon, Anne. editor.

(1)

Cornélio, Márcio. editor.

(1)

Crnkovic, Ivica. editor.

(1)

Csöndes, Tibor. editor.

(1)

Cunha, Jácome. editor.

(1)

Cuppens, Frédéric. editor.

(1)

Cuppens-Boulahia, Nora. editor.

(1)

Cussens, James. editor.

(1)

Dal Lago, Ugo. editor.

(1)

Daneva, Maya. editor.

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Dastani, Mehdi. editor.

(1)

Davies, Misty. editor.

(1)

Day, Adam. editor.

(1)

Decker, Hendrik. editor.

(1)

Delporte-Gallet, Carole. editor.

(1)

Desel, Jörg. editor.

(1)

Devitt, Simon. editor.

(1)

Di Marco, Antinisca. editor.

(1)

Dignum, Virginia. editor. (orcid)0000-0001-7409-5813

(1)

Dixon, Clare. editor.

(1)

Doder, Dragan. editor. (orcid)0000-0003-0067-3654

(1)

Donzé, Alexandre. editor.

(1)

Draheim, Dirk. author.

(1)

Du, Dingzhu. editor.

(1)

Duan, Zhenhua. editor.

(1)

Duan, Zhenhua. editor. (orcid)0000-0003-2772-1433

(1)

Ebert, Achim. editor.

(1)

Echahed, Rachid. editor.

(1)

El Abbadi, Amr. editor. (orcid)0000-0003-4692-3268

(1)

Engels, Gregor. editor.

(1)

England, Matthew. editor.

(1)

Esparza, Javier. editor. (orcid)0000-0001-9862-4919

(1)

Esposito, Floriana. editor.

(1)

Falcone, Yliès. editor.

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Farmer, William M. author. (orcid)0009-0009-5524-9085

(1)

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395

(1)

Fellows, Michael. editor.

(1)

Feret, Jérôme. editor.

(1)

Ferilli, Stefano. editor.

(1)

Fernandes, João P. editor.

(1)

Ferragina, Paolo. author.

(1)

Festa, Paola. editor.

(1)

Fiems, Dieter. editor.

(1)

Filipe, Joaquim. editor.

(1)

Finger, Marcelo. editor.

(1)

Fitzgerald, John. editor.

(1)

Fodor, Paul. editor.

(1)

Foret, Annie. editor.

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Galitsky, Boris. author.

(1)

Garbinato, Benoît. editor.

(1)

Gavanelli, Marco. editor.

(1)

Geeraerts, Gilles. editor.

(1)

Gerdt, Vladimir P. editor.

(1)

Geuvers, Herman. editor.

(1)

Ghosh, Sujata. editor.

(1)

Giacobazzi, Roberto. editor. (orcid)0000-0002-9582-3960

(1)

Gibbons, Jeremy. editor. (orcid)0000-0002-8426-9917

(1)

Gibson-Robinson, Thomas. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

Gopal, T.V. editor.

(1)

Gorla, Alessandra. editor. (orcid)0000-0002-6711-3080

(1)

Publication Date

-

(101)

(84)

(29)

(18)

(1)

Subject

Computer Science Logic and Foundations of Programming.

(231)

Computer science.

(231)

Software engineering.

(170)

Formal Languages and Automata Theory.

(138)

Machine theory.

(138)

Compilers (Computer programs).

(99)

Compilers and Interpreters.

(99)

Artificial intelligence.

(73)

(57)

Theory of Computation.

(47)

Computer networks .

(45)

Computer science -- Mathematics.

(44)

Computer programming.

(42)

Programming Techniques.

(42)

Computer Modelling.

(32)

Computer simulation.

(32)

Application software.

(30)

Computer and Information Systems Applications.

(30)

Computer Communication Networks.

(28)

Discrete mathematics.

(23)

Computers, Special purpose.

(22)

Discrete Mathematics in Computer Science.

(22)

Special Purpose and Application-Based Systems.

(22)

Electronic data processing -- Management.

(18)

(18)

Computer Engineering and Networks.

(17)

Computer engineering.

(17)

Electronic digital computers -- Evaluation.

(12)

System Performance and Evaluation.

(12)

Computer System Implementation.

(10)

Computer systems.

(10)

Mathematical statistics.

(10)

Probability and Statistics in Computer Science.

(10)

Information Storage and Retrieval.

(9)

Information storage and retrieval systems.

(9)

Natural Language Processing (NLP).

(9)

Natural language processing (Computer science).

(9)

(8)

Control Structures and Microprogramming.

(8)

Mathematics of Computing.

(8)

Microprogramming .

(8)

Data and Information Security.

(7)

Data protection.

(7)

Artificial intelligence -- Data processing.

(6)

(6)

Mathematical logic.

(6)

Computer Application in Administrative Data Processing.

(5)

Information technology -- Management.

(5)

Mathematical Logic and Foundations.

(5)

(5)

Symbolic and Algebraic Manipulation.

(5)

The Computing Profession.

(5)

Database management.

(4)

(4)

Logic programming.

(4)

Mathematical Applications in Computer Science.

(4)

Data Mining and Knowledge Discovery.

(3)

(3)

Design and Analysis of Algorithms.

(3)

Human-computer interaction.

(3)

Information theory.

(3)

Numerical analysis.

(3)

Operating Systems.

(3)

Operating systems (Computers).

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

User Interfaces and Human Computer Interaction.

(3)

User interfaces (Computer systems).

(3)

Arithmetic and Logic Structures.

(2)

Bioinformatics.

(2)

Business information services.

(2)

Coding and Information Theory.

(2)

(2)

Computational and Systems Biology.

(2)

Computational intelligence.

(2)

Computer Hardware.

(2)

Computer arithmetic and logic units.

(2)

Engineering -- Data processing.

(2)

IT in Business.

(2)

(2)

(2)

Models of Computation.

(2)

Operations Research and Decision Theory.

(2)

Operations research.

(2)

Quantum computers.

(2)

Algebra, Homological.

(1)

Algebraic logic.

(1)

Algebraic topology.

(1)

Applications of Mathematics.

(1)

Automated Pattern Recognition.

(1)

Category Theory, Homological Algebra.

(1)

Computational Science and Engineering.

(1)

Computational complexity.

(1)

Computational linguistics.

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer architecture.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Computers and Education.

(1)

Computing Milieux.

(1)

(1)

(1)

Data Engineering.

(1)

Data Structures and Information Theory.

(1)

Data encryption (Computer science).

(1)

Data structures (Computer science).

(1)

Education -- Data processing.

(1)

Electronic Circuits and Systems.

(1)

Electronic circuits.

(1)

Engineering mathematics.

(1)

Formal Reasoning.

(1)

(1)

(1)

History of Computing.

(1)

(1)

Mathematical and Computational Engineering Applications.

(1)

Mathematics -- Data processing.

(1)

Mathematics in Popular Science.

(1)

Microprocessors.

(1)

(1)

(1)

Pattern recognition systems.

(1)

Processor Architectures.

(1)

Python (Computer program language).

(1)

(1)

Quantum Computing.

(1)

Quantum Information.

(1)

Quantum computing.

(1)

Quantum physics.

(1)

(1)

(1)

Social sciences -- Data processing.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

233 Results Found

Subscribe to search results

1 2 3 4 5 6 .. 20

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

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

1.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

2.

Cover image for Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Taming the Infinities of Concurrency Essays Dedicated to Javier Esparza on the Occasion of His 60th Birthday

Author

Kiefer, Stefan. editor. Křetínský, Jan. editor. Kučera, Antonín. editor. (orcid)0000-0002-6602-8028 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

3.

Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63498-7

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II

Author

Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

5.

Cover image for Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Verified Software. Theories, Tools and Experiments 15th International Conference, VSTTE 2023, Ames, IA, USA, October 23-24, 2023, Revised Selected Papers

Author

Reynolds, Andrew. editor. Tasiran, Serdar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-66064-1

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Implementation and Application of Automata 28th International Conference, CIAA 2024, Akita, Japan, September 3-6, 2024, Proceedings

Author

Fazekas, Szilárd Zsolt. editor. (orcid)0000-0001-5319-0395 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-71112-1

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality First International Conference, AISoLA 2023, Crete, Greece, October 23-28, 2023, Proceedings

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-46002-9

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for 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

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Logics and Type Systems in Theory and Practice Essays Dedicated to Herman Geuvers on The Occasion of His 60th Birthday

Author

Capretta, Venanzio. editor. (orcid)0000-0003-1220-7706 Krebbers, Robbert. editor. Wiedijk, Freek. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

Unconventional Computation and Natural Computation 21st International Conference, UCNC 2024, Pohang, South Korea, June 17-21, 2024, Proceedings

Author

Cho, Da-Jung. editor. (orcid)0000-0002-5265-8520 Kim, Jongmin. editor. (orcid)0000-0002-2713-1006 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-63742-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Reachability Problems 18th International Conference, RP 2024, Vienna, Austria, September 25-27, 2024, Proceedings

Author

Kovács, Laura. editor. (orcid)0000-0002-8299-2714 Sokolova, Ana. editor. (orcid)0000-0002-8384-3438 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-031-72621-7

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for 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"

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

Author

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

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 2 3 4 5 6 .. 20

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11