Search Results for Predicate (Logic)

1.

Aristotle's Modal Proofs Prior Analytics A8-22 in Predicate Logic

Yazar

Rini, Adriane. author. SpringerLink (Online service)

Yer Numarası

ONLINE

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

2.

Mathematical Foundations of Software Engineering A Practical Guide to Essentials

Yazar

O'Regan, Gerard. author. SpringerLink (Online service)

Yer Numarası

XX(520574.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

3.

Neuro Symbolic Reasoning and Learning

Yazar

Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.

Yer Numarası

XX(520609.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

4.

Runtime Verification 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings

Yazar

Katsaros, Panagiotis. editor. Nenzi, Laura. editor. SpringerLink (Online service)

Yer Numarası

XX(521209.1)

Elektronik Erişim

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

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

5.

Logic-Based Program Synthesis and Transformation 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

Yazar

Glück, Robert. editor. Kafle, Bishoksan. editor. SpringerLink (Online service)

Yer Numarası

XX(521245.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-031-45784-5

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

6.

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Yazar

Vitek, Jan. editor. SpringerLink (Online service)

Yer Numarası

XX(519237.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-662-46669-8

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

7.

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

Yazar

Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.

Yer Numarası

XX(518632.1)

Elektronik Erişim

https://doi.org/10.1007/978-3-319-19237-6

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

8.

Logic based on Schaum's Outline of theory and problems of logic

Yazar

Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C. McAllister, Alex M. Nolt, John, 1950- Outline of theory and problems of logic.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

9.

Schaum's outline of theory and problems of logic

Yazar

Nolt, John, 1950- Rohatyn, Dennis A. Varzi, Achille C.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

10.

Logic demystified

Yazar

Boutelle, Anthony. Gibilisco, Stan.

Yer Numarası

ONLINE

Elektronik Erişim

Subscription required

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}