Showing
1 - 5
results of
5
Skip to content
Institutional Login
Language
English
Te reo Māori
Books & media
Combined Results
Books & media
Articles & more
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced
Page will reload when a filter is removed.
Applied Filters:
Suggested Topics:
Remove Filter
Logic
Page will reload when a filter is removed.
Show filters (1)
Suggested Topics:
Remove Filter
Logic
Search Results - "Computing Methodologies."
Suggested Topics within your search.
Suggested Topics within your search.
Computing Methodologies
5
Logic
Logic programming
2
Automatic theorem proving
1
Computer logic
1
Computer science
1
Deontic logic
1
Formal methods (Computer science)
1
Logic machines
1
Logic, Symbolic and mathematical
1
Nonmonotonic reasoning
1
Showing
1 - 5
results of
5
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Call Number
Author
Title
Select Page | with selected:
Email
Export
Print
Save
Select result number 1
1
Logic programming : 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009 ; proceedings /
by
Hill, Patricia M.
,
Warren, David S.
Published 2009
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 2
2
Logic Programming and Nonmonotonic Reasoning : 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings /
by
Erdem, Esra
,
Lin, Fangzhen
,
Schaub, Torsten
Published 2009
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 3
3
Deontic logic in computer science : 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings /
by
Governatori, Guido
,
Sartor, Giovanni
Published 2010
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 4
4
Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 ; proceedings /
by
Schmidt, Renate A.
Published 2009
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select result number 5
5
Logic, language, information and computation : 17th international workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010 ; proceedings /
by
Dawar, Anuj
,
Queiroz, Ruy J. G. B. de
Published 2010
Ebook
Call Number:
Loading...
Located:
Loading...
Online:
Springer eBooks
Request this item
Save to List
Saved in:
Select Page | with selected:
Email
Export
Print
Save
Search Tools:
RSS Feed
–
Email Search
–
Save Search
Back
Refine Results
Page will reload when a filter is selected or excluded.
Location
Online
5 results
5
Item type
Ebook
5 results
5
Year of Publication
From:
To:
Items from Articles & more search
Detailed Analysis of Computing Methodologies with Special Reference to OSS while Mitigating Crises with Help of Varied Decision Models
by
Tyagi, Shiva
, et al.
Title not available
Title not available
Title not available
Private datacenter infrastructure: “building cost effective ‘YGPDI’ model for real time hands on labs using computing methodologies providing solutions in academic”
by
Ghorpade, Yogesh Madhukar
, et al.
More results…