Search Results for Logic.

1.

Gentzen Calculi for Modal Propositional Logic

Author

Poggiolesi, Francesca. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-90-481-9670-8

Format:

Availability

Online Library~1

Available:
Copies:

2.

Handbook of Philosophical Logic Volume 15

Author

Gabbay, Dov M. editor. Guenthner, Franz. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-94-007-0485-5

Format:

Availability

Online Library~1

Available:
Copies:

3.

Introduction to Fuzzy Logic using MATLAB

Author

Sivanandam, S. N. author. Sumathi, S. author. Deepa, S. N. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-35781-0

Format:

Availability

Online Library~1

Available:
Copies:

4.

Cover image for Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Dynamic Logic. New Trends and Applications First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings

Author

Madeira, Alexandre. editor. (orcid)0000-0002-0646-2017 Benevides, Mário. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-73579-5

Format:

Availability

Online Library~1

Available:
Copies:

5.

Fuzzy Logic and Applications 10th International Workshop, WILF 2013, Genoa, Italy, November 19-22, 2013. Proceedings

Author

Masulli, Francesco. editor. Pasi, Gabriella. editor. Yager, Ronald. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332970.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03200-9

Format:

Availability

Online Library~1

Available:
Copies:

6.

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings

Author

Lodaya, Kamal. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334105.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36039-8

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Logic, Language, and Computation 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Author

Bezhanishvili, Guram. editor. Löbner, Sebastian. editor. Marra, Vincenzo. editor. Richter, Frank. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334337.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36976-6

Format:

Availability

Online Library~1

Available:
Copies:

8.

Logic, Language and Meaning 18th Amsterdam Colloquium, Amsterdam , The Netherlands, December 19-21, 2011, Revised Selected Papers

Author

Aloni, Maria. editor. Kimmelman, Vadim. editor. Roelofsen, Floris. editor. Sassoon, Galit W. editor. Schulz, Katrin. editor.

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31482-7

Format:

Availability

Online Library~1

Available:
Copies:

9.

Functional and Constraint Logic Programming 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Author

Kuchen, Herbert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-22531-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Fuzzy Logic and Applications 9th International Workshop, WILF 2011, Trani, Italy, August 29-31,2011. Proceedings

Author

Fanelli, Anna Maria. editor. Pedrycz, Witold. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-23713-3

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings

Control, Computation and Information Systems First International Conference on Logic, Information, Control and Computation, ICLICC 2011, Gandhigram, India, February 25-27, 2011. Proceedings

Author

Balasubramaniam, P. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-19263-0

Format:

Availability

Online Library~1

Available:
Copies:

12.

Fuzzy Logic-Based Algorithms for Video De-Interlacing

Author

Brox, Piedad. author. Baturone, Iluminada. author. Sánchez-Solano, Santiago. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-10695-8

Format:

Availability

Online Library~1

Available:
Copies:

13.

Fuzzy Logic and Applications 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

Author

Gesù, Vito. editor. Pal, Sankar Kumar. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-02282-1

Format:

Availability

Online Library~1

Available:
Copies:

14.

Cover image for Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings

Applications of Fuzzy Sets Theory 7th International Workshop on Fuzzy Logic and Applications, WILF 2007, Camogli, Italy, July 7-10, 2007. Proceedings

Author

Masulli, Francesco. editor. Mitra, Sushmita. editor. Pasi, Gabriella. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-540-73400-0

Format:

Availability

Online Library~1

Available:
Copies:

15.

Soft-Computing mit Neuronalen Netzen, Fuzzy-Logic und Evolutionären Algorithmen

Author

Lippe, Wolfram-Manfred. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/3-540-29274-8

Format:

Availability

Online Library~1

Available:
Copies:

16.

Fuzzy Logic and Applications 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers

Author

Bloch, Isabelle. editor. Petrosino, Alfredo. editor. Tettamanzi, Andrea G. B. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/11676935

Format:

Availability

Online Library~1

Available:
Copies:

17.

Fuzzy Logic and Applications 5th International Workshop, WILF 2003, Naples, Italy, October 9-11, 2003. Revised Selected Papers

Author

Gesú, Vito. editor. Masulli, Francesco. editor. Petrosino, Alfredo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/10983652

Format:

Availability

Online Library~1

Available:
Copies:

18.

Intelligent Manufacturing and Energy Sustainability Proceedings of ICIMES 2022

Author

Manchuri, Amaranadha Reddy. editor. Marla, Deepak. editor. Rao, V. Vasudeva. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-8497-6

Format:

Availability

Online Library~1

Available:
Copies:

19.

Sentiment Analysis and Deep Learning Proceedings of ICSADL 2022

Author

Shakya, Subarna. editor. Du, Ke-Lin. editor. Ntalianis, Klimis. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-5443-6

Format:

Availability

Online Library~1

Available:
Copies:

20.

Modern Electronics Devices and Communication Systems Select Proceedings of MEDCOM 2021

Author

Agrawal, Rajeev. editor. Kishore Singh, Chandramani. editor. Goyal, Ayush. editor. Singh, Dinesh Kumar. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-19-6383-4

Format:

Availability

Online Library~1

Available:
Copies:

21.

Cover image for Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Network and Parallel Computing 15th IFIP WG 10.3 International Conference, NPC 2018, Muroran, Japan, November 29 – December 1, 2018, Proceedings

Author

Zhang, Feng. editor. (orcid)0000-0003-1983-7321 Zhai, Jidong. editor. Snir, Marc. editor. Jin, Hai. editor. Kasahara, Hironori. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05677-3

Format:

Availability

Online Library~1

Available:
Copies:

22.

Smart Blockchain First International Conference, SmartBlock 2018, Tokyo, Japan, December 10–12, 2018, Proceedings

Author

Qiu, Meikang. editor. (orcid)0000-0002-1004-0140 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-05764-0

Format:

Availability

Online Library~1

Available:
Copies:

23.

DNA Computing and Molecular Programming 24th International Conference, DNA 24, Jinan, China, October 8–12, 2018, Proceedings

Author

Doty, David. editor. (orcid)0000-0002-3922-172X Dietz, Hendrik. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00030-1

Format:

Availability

Online Library~1

Available:
Copies:

24.

Cover image for Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Machine Learning for Medical Image Reconstruction First International Workshop, MLMIR 2018, Held in Conjunction with MICCAI 2018, Granada, Spain, September 16, 2018, Proceedings

Author

Knoll, Florian. editor. (orcid)0000-0001-5357-8656 Maier, Andreas. editor. (orcid)0000-0002-9550-5284 Rueckert, Daniel. editor. (orcid)0000-0002-5683-5889 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-030-00129-2

Format:

Availability

Online Library~1

Available:
Copies:

25.

Theoretical Computer Science 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings

Author

Li, Lian. editor. Lu, Pinyan. editor. He, Kun. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-981-13-2712-4

Format:

Availability

Online Library~1

Available:
Copies:

26.

Cover image for Cognitively Inspired Audiovisual Speech Filtering Towards an Intelligent, Fuzzy Based, Multimodal, Two-Stage Speech Enhancement System

Cognitively Inspired Audiovisual Speech Filtering Towards an Intelligent, Fuzzy Based, Multimodal, Two-Stage Speech Enhancement System

Author

Abel, Andrew. author. Hussain, Amir. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-13509-0

Format:

Availability

Online Library~1

Available:
Copies:

27.

Computer Vision in Control Systems-1 Mathematical Theory

Author

Favorskaya, Margarita N. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-10653-3

Format:

Availability

Online Library~1

Available:
Copies:

28.

Cover image for High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

High Performance Computing for Computational Science - VECPAR 2012 10th International Conference, Kope, Japan, July 17-20, 2012, Revised Selected Papers

Author

Daydé, Michel. editor. Marques, Osni. editor. Nakajima, Kengo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334658.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-38718-0

Format:

Availability

Online Library~1

Available:
Copies:

29.

Transactions on Rough Sets XVI

Author

Peters, James F. editor. Skowron, Andrzej. editor. Ramanna, Sheela. editor. Suraj, Zbigniew. editor. Wang, Xin. editor.

Preferred Shelf Number

ONLINE(334220.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-36505-8

Format:

Availability

Online Library~1

Available:
Copies:

30.

Programming Logics Essays in Memory of Harald Ganzinger

Author

Voronkov, Andrei. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334468.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37651-1

Format:

Availability

Online Library~1

Available:
Copies:

31.

The Language of Mathematics A Linguistic and Philosophical Investigation

Author

Ganesalingam, Mohan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334341.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-37012-0

Format:

Availability

Online Library~1

Available:
Copies:

32.

Logics in Artificial Intelligence 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings

Author

Cerro, Luis Fariñas. editor. Herzig, Andreas. editor. Mengin, Jérôme. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-33353-8

Format:

Availability

Online Library~1

Available:
Copies:

33.

Logical Aspects of Computational Linguistics 7th International Conference, LACL 2012, Nantes, France, July 2-4, 2012. Proceedings

Author

Béchet, Denis. editor. Dikovsky, Alexander. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-31262-5

Format:

Availability

Online Library~1

Available:
Copies:

34.

Cover image for Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Perspectives of Systems Informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers

Author

Clarke, Edmund. editor. Virbitskaite, Irina. editor. Voronkov, Andrei. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-29709-0

Format:

Availability

Online Library~1

Available:
Copies:

35.

Human Machine Interaction Research Results of the MMI Program

Author

Lalanne, Denis. editor. Kohlas, Jürg. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

http://dx.doi.org/10.1007/978-3-642-00437-7

Format:

Availability

Online Library~1

Available:
Copies:

	{displayName}	{count}
{error}