Search Results for Foundations.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Logic programming.

Author

SpringerLink (Online service)

(17)

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X

(2)

Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789

(2)

Li, Wei. author.

(2)

Sui, Yuefei. author.

(2)

Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550

(2)

Aiswarya, C. editor. (orcid)0000-0002-4878-7581

(1)

Barbosa, Haniel. editor.

(1)

Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X

(1)

C. Nogueira, Sidney. editor. (orcid)0000-0002-8817-5029

(1)

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X

(1)

(1)

Fahrenberg, Uli. editor.

(1)

Frank, Anette. editor. (orcid)0000-0003-4706-9817

(1)

Fussner, Wesley. editor.

(1)

Gierasimczuk, Nina. editor.

(1)

Glück, Roland. editor.

(1)

Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337

(1)

Kovács, Laura. editor. (orcid)0000-0002-8299-2714

(1)

König, Barbara. editor. (orcid)0000-0002-4193-2889

(1)

Liu, Mingming. editor.

(1)

Meier, Arne. editor. (orcid)0000-0002-8061-5376

(1)

Ortiz, Magdalena. editor.

(1)

Protzenko, Jonathan. editor. (orcid)0000-0001-7347-3050

(1)

Raad, Azalea. editor. (orcid)0000-0002-2319-3242

(1)

Reynolds, Andrew. editor.

(1)

Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X

(1)

Riguzzi, Fabrizio, author.

(1)

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842

(1)

Sen, Prabal Kumar. editor.

(1)

Sokolova, Ana. editor. (orcid)0000-0002-8384-3438

(1)

Srivastava, Shashi Mohan. editor.

(1)

Stein, Benno. editor. (orcid)0000-0001-9033-2217

(1)

Tasiran, Serdar. editor.

(1)

Teodorov, Ciprian. editor. (orcid)0000-0002-0722-5857

(1)

Urbat, Henning. editor. (orcid)0000-0002-3265-7168

(1)

Velázquez-Quesada, Fernando R. editor.

(1)

Westerståhl, Dag. editor. (orcid)0000-0002-9925-3811

(1)

Yan, Jialiang. editor. (orcid)0009-0005-2163-2300

(1)

Yang, Xiaolu. editor.

(1)

Zohar, Yoni. editor.

(1)

Language

(19)

Publication Date

-

(11)

(6)

(1)

(1)

Subject

(17)

Mathematical Logic and Foundations.

(10)

Mathematical logic.

(10)

Computer science.

(9)

Software engineering.

(9)

Formal Languages and Automata Theory.

(8)

Machine theory.

(8)

Natural Language Processing (NLP).

(6)

Natural language processing (Computer science).

(6)

Artificial intelligence.

(5)

Computer science -- Mathematics.

(5)

Mathematics of Computing.

(5)

Theory of Computation.

(5)

Computer Science Logic and Foundations of Programming.

(4)

Computer System Implementation.

(4)

Computer systems.

(4)

Computers, Special purpose.

(4)

Special Purpose and Application-Based Systems.

(4)

Computer Communication Networks.

(3)

Computer networks .

(3)

Application software.

(2)

Computer Hardware.

(2)

Computer and Information Systems Applications.

(2)

(2)

Expert systems (Computer science).

(2)

Knowledge Based Systems.

(2)

Mathematical Modeling and Industrial Mathematics.

(2)

Mathematical models.

(2)

(1)

(1)

COMPUTERS / Programming / General

(1)

COMPUTERS / Programming / Software Development

(1)

Computer Application in Social and Behavioral Sciences.

(1)

Computer programming.

(1)

Control Structures and Microprogramming.

(1)

Data Mining and Knowledge Discovery.

(1)

(1)

Database Management System.

(1)

Database management.

(1)

Design and Analysis of Algorithms.

(1)

Logisch programmeren.

(1)

MATHEMATICS / Probability & Statistics / General

(1)

Microprogramming .

(1)

Probabilities -- Data processing.

(1)

Programming Language.

(1)

Programming Techniques.

(1)

Programming languages (Electronic computers).

(1)

Resolventenprinzip.

(1)

Social sciences -- Data processing.

(1)

Wiskundige logica.

(1)

calcul propositionnel.

(1)

calculabilité.

(1)

(1)

logique 1er ordre.

(1)

(1)

(1)

programmation en logique.

(1)

résolution linéaire.

(1)

théorie définissabilité.

(1)

Material Type

Shelf Location

Electronic Library

Taylor Francis E-Book Collection

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

19 Results Found

Subscribe to search results

1 2

0000000DEFAULT

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.

13.

Cover image for Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

Human and Artificial Rationalities Second International Conference, HAR 2023, Paris, France, September 19-22, 2023, Proceedings

Author

Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Robust Argumentation Machines First International Conference, RATIO 2024, Bielefeld, Germany, June 5-7, 2024, Proceedings

Author

Cimiano, Philipp. editor. (orcid)0000-0002-4771-441X Frank, Anette. editor. (orcid)0000-0003-4706-9817 Kohlhase, Michael. editor. (orcid)0000-0002-9859-6337 Stein, Benno. editor. (orcid)0000-0001-9033-2217 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

15.

Cover image for Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Coalgebraic Methods in Computer Science 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Proceedings

Author

König, Barbara. editor. (orcid)0000-0002-4193-2889 Urbat, Henning. editor. (orcid)0000-0002-3265-7168 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

16.

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:

17.

Cover image for Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings

Relational and Algebraic Methods in Computer Science 21st International Conference, RAMiCS 2024, Prague, Czech Republic, August 19-22, 2024, Proceedings

Author

Fahrenberg, Uli. editor. Fussner, Wesley. editor. Glück, Roland. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

18.

Cover image for Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Formal Methods Teaching 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings

Author

Sekerinski, Emil. editor. (orcid)0000-0001-9788-5842 Ribeiro, Leila. editor. (orcid)0000-0001-7039-092X SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

19.

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:

1 2

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11