Skip to search
Skip to main content
Saved Lists
Quicksearch Login
|
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch top menu
Saved Lists
Quicksearch Login
Ask Yale Library
My Library Accounts
My Library Accounts
My Acccount (Orbis)
Special Collections
Scan and Deliver
BorrowDirect
Interlibrary Loan
Bass Media Equipment
Quicksearch
All Fields
Title
Journal Title
Author/Creator
Series
Title Begins With
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Search
Advanced Search
Search Help
see all results by data source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Select Data Source
All Results
Books+
Digital Collections
Databases
Archives or Manuscripts
Articles+
New Arrivals
Clear Search
Books+ Search Results
Author/Creator:
Is
Is
Is Not
Gierasimczuk, Nina
Advanced Search
Basic Search
Help
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
AND
OR
NOT
Select an option
All Fields
Title
Journal Title
Series
Title Begins With
Author
Subject
Form/Genre
Publication Place
Publisher
Publication Year
ISBN
ISSN
Call Number
Location
Add a row
Search
Reset
Limit results by
Format
Books (1)
Online (1)
Location
Yale Internet Resource (1)
Language
English (1)
Publication date
{:"aria-label"=>"date-range"}
-
{:"aria-label"=>"date-range"}
Results are already all online
Viewing Online Items
Limit your search
Format
Books
1
Online
1
Publication Date
2024
1
Author/Creator
Gierasimczuk, Nina
✖
[remove]
1
SpringerLink (Online service)
1
Velázquez-Quesada, Fernando R.
1
Recently Added
within 6 Months
1
within 1 Year
1
Location
Yale Internet Resource
1
Language
English
1
Subject
Computer networks .
1
Computer science
1
Logic programming
1
Mathematical logic
1
Software engineering
1
LC Class
Q - Science
1
All results below
1
entry found
Toggle Menu
Display Options
10 per page
25 per page
50 per page
100 per page
Sort by Relevance
Relevance
Recently Added
Published Earliest
Published Latest
Author/Creator A-Z
Author/Creator Z-A
Title A-Z
Title Z-A
Selected
Items...
Send to Email
Export to EndNote
Export to RefWorks
Add to My Saved List
Select All Items
Clear All Items
Start Over
Checkbox
1.
Dynamic Logic. New Trends and Applications 5th International Workshop, DaLí 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2024.
Online
Online book
Location
Yale Internet Resource >>
None
Format
Books
/
Online
